State-based model checking of event-driven system requirements
- 1 September 1991
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 16 (5) , 16-28
- https://doi.org/10.1145/125083.123047
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- RSF: a formalism for executable requirement specificationsIEEE Transactions on Software Engineering, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Automatic Verification of Sequential Circuits Using Temporal LogicIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980