A Language Framework for Expressing Checkable Properties of Dynamic Software
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 205-223
- https://doi.org/10.1007/10722468_13
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesLecture Notes in Computer Science, 1999
- dSPIN: A Dynamic Extension of SPINLecture Notes in Computer Science, 1999
- A deadlock detection tool for concurrent Java programsSoftware: Practice and Experience, 1999
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- Property specification patterns for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Formal refinement patterns for goal-driven requirements elaborationPublished by Association for Computing Machinery (ACM) ,1996
- A graphical interval logic for specifying concurrent systemsACM Transactions on Software Engineering and Methodology, 1994