Xeve, an Esterel verification environment
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 500-504
- https://doi.org/10.1007/bfb0028770
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Symbolic Model CheckingPublished by Springer Nature ,1993
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- CCS expressions, finite state processes, and three problems of equivalenceInformation and Computation, 1990
- Verification of synchronous sequential machines based on symbolic executionPublished by Springer Nature ,1990