Proving safety properties of infinite state systems by compilation into Presburger arithmetic
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 213-227
- https://doi.org/10.1007/3-540-63141-0_15
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- On the Regularity of Petri Net LanguagesInformation and Computation, 1996
- Reduced state space representation for unbounded vector state spacesPublished by Springer Nature ,1996
- Diophantine equations, Presburger arithmetic and finite automataPublished by Springer Nature ,1996
- Compositional model checking of real time systemsPublished by Springer Nature ,1995
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couvertureRAIRO - Theoretical Informatics and Applications, 1994
- Delay analysis in synchronous programsPublished by Springer Nature ,1993
- A hybrid methodology for synthesis of Petri net models for manufacturing systemsIEEE Transactions on Robotics and Automation, 1992
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Transformations and Decompositions of NetsPublished by Springer Nature ,1987
- Parallel program schemataJournal of Computer and System Sciences, 1969