Modular refinement of hierarchic reactive machines
- 5 January 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 390-402
- https://doi.org/10.1145/325694.325746
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Model checking large software specificationsIEEE Transactions on Software Engineering, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- Computer-aided verificationIEEE Spectrum, 1996
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- A proof technique for rely/guarantee propertiesPublished by Springer Nature ,1985