Modeling and verification of sC++ applications
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 232-248
- https://doi.org/10.1007/bfb0054175
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Using Concurrency and Formal Methods for the Design of Safe Process ControlPublished by Springer Nature ,1996
- Specifying and verifying the Steam Boiler Problem with SPINPublished by Springer Nature ,1996
- MonitorsCommunications of the ACM, 1974