Events in Property Patterns
- 27 August 1999
- book chapter
- Published by Springer Nature
- p. 154-167
- https://doi.org/10.1007/3-540-48234-2_13
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- 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
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981