218 search results - page 40 / 44 » Verifying Safety Properties with the TLA Proof System |
109
Voted
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
111
Voted
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
86
Voted
CAV
2009
Springer
16 years 6 days ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
84
Voted
ENTCS
2007
14 years 11 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...