Taming interface specifications

Lecture Notes in Computer Science

Volumn 3653, Issue , 2005, Pages 548-561

  Margaria, Tiziana ^a   Prasad Sistla, A ^b   Steffen, Bernhard ^c   Zuck, Lenore D ^b  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^c TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SYSTEMS;

COMPOSING AGENTS; SAFETY PROPERTIES;

SOFTWARE ENGINEERING;

EID: 27244448316     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11539452_41     Document Type: Conference Paper

References (13)

1. M. Abadi and L. Lamport. The existence of state mappings. In Proceedings of the ACM Symposium on Logic in Computer Science, 1988.
2. B. Alpern and F. Schneider. Defining liveness. Information Processing Letters, 21:181-185, 1985.
3. E. A. Emerson and A. P. Sistla. Triple exponential decision procedure for the logic ctl*. In Workshop on the Logics of Program, Carnegie-Mellon University, 1983.
4. H. Hungar and B. Steffen. Behavior-based model construction. STTT, 6(1):4-14, 2004.
5. B. Jonsson. Compositional verification of distributed systems. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, 1987.
6. L. Lamport. Logical foundation, distributed systems- methods and tools for specification. Springer-Verlag Lecture Notes in Computer Science, 190, 1985.
7. K. Larsen. Ideal specification formalisms = expressivity + compositionality + decidability + testability + ... In Invited Lecture at CONCUR 1990, LNCS 458, 1990.
8. K. Larsen. The expressive power of implicit specifications. In ICALP 1991, LNCS 510, 1991.
9. T. Margaria, H. Raffelt, and B. Steffen. Knowledge-based relevance filtering for efficient system-level test-based model generation (to appear). Innovations in Systems and Software Engineering, a NASA Journal, Springer Verlag.
10. th Workshop on Runtime Verification (RV'05), 2005. To appear in a special issue of ENTCS.
11. A. P. Sistla. On characterization of safety and liveness properties in temporal logic. In Proceedings of the ACM Symposium on Principle of Distributed Computing, 1985.
12. A. P. Sistla. Proving correctness with respect to nondeterministic safety specifications. Information Processing Letters, 39:45-49, 1991.
13. M. Vardi, P. Wolper, and A. P. Sistla. Reasoning about infinite computations. In Proceedings of IEEE Symposium on Foundations of Computer Science, 1983.