Events in property patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1680, Issue , 1999, Pages 154-167

  Chechik, Marsha ^a   Păun, Dimitrie O ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FINITE STATE; PATTERN SYSTEMS; PROPERTY PATTERNS; REALISTIC SYSTEMS;

MODEL CHECKING;

EID: 84936855973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48234-2_13     Document Type: Conference Paper

References (20)

1. A. Bernstein and P. K. Harter. Proving real time properties of programs with temporal logic. In Proceedings of the Eight Symposium on Operating Systems Principles, pages 1-11. ACM, 1981.
2. E.M. Clarke, E.A. Emerson, and A.P. Sistla. "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications". ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
3. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. "Property Specification Patterns for Finite-state Verification". In Proceedings of 2nd Workshop on Formal Methods in Software Practice, March 1998.
4. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. "Patterns in Property Specifications for Finite-State Verification". In Proceedings of 21st International Conference on Software Engineering, May 1999.
5. B. T. Hailpern and S. S. Owicki. Modular verification of computer communication protocols. IEEE Transactions on Communication, 1(COM-31):56-68, 1983.
6. Eric C. R. Hehner. A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1993.
7. G. J. Holzmann and O. Kupferman. "Not Checking for Closure under Stuttering". In Proceedings of SPIN’96, 1996.
8. G.J. Holzmann. "The Model Checker SPIN". IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
9. Leslie Lamport. Specifying concurrent program modules. ACM Transactions of Programming Languages and Systems, 5:190-222, 1983.
10. Leslie Lamport. "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems, 16:872-923, May 1994.
11. Z. Manna and A. Pnueli. "Tools and Rules for the Practicing Verifier". Technical Report STAN-CS-90-1321, Department of Computer Science, Stanford University, 1990. Appeared in Carnegie Mellon Computer Science: A 25 year Commemorative.
12. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
13. K.L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993.
14. Abdelillah Mokkedem and Dominique Méry. A stuttering closed temporal logic for modular reasoning about concurrent programs. In Temporal Logic: First International Conference, ICTL '94, number 827 in Lecture Notes in Artificial Intelligence, Berlin, July 1994. Springer-Verlag.
15. Kurt M. Olender and Leon J. Osterweil. "Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation". IEEE Transactions on Software Engineering, 16(3):268-280, March 1990.
16. J. S. Ostroff. Temporal Logic of Real-Time Systems. Advanced Software Development Series. Research Studies Press (John Wiley & Sons), 1990.
17. Doron Peled, Thomas Wilke, and Pierre Wolper. "An Algorithmic Approach for Checking Closure Properties of ω-Regular Languages". In Proceedings of CONCUR '96: 7th International Conference on Concurrency Theory, August 1996.
18. Dimitrie O. Păun. Closure under stuttering in temporal formulas. Master’s thesis, Department of Computer Science, University of Toronto, Toronto, Ontario M5S 3G4, CANADA, 1999. April.
19. Dimitrie O. Păun and Marsha Chechik. "Events in Linear-Time Properties". In Proceedings of 4th International Conference on Requirements Engineering, June 1999.
20. Dimitrie O. Păun, Marsha Chechik, and Bernd Biechelle. "Production Cell Revisited". In Proceedings of SPIN’98, November 1998.