1894 search results - page 201 / 379 » A TLA Proof System |
208
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
120
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
110
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
114
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
123
click to vote
CTRSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the last few years we have concentrated our research efforts on new threats to the computing infrastructure that are the result of combining malicious software (malwar...