Set-based analysis of reactive infinite-state systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 358-375
- https://doi.org/10.1007/bfb0054183
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Logic programs as types for logic programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A decision procedure for a class of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Decidability of model checking for infinite-state concurrent systemsActa Informatica, 1997
- Solving classes of set constraints with tree automataPublished by Springer Nature ,1997
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Inductive definitions, semantics and abstract interpretationsPublished by Association for Computing Machinery (ACM) ,1992
- A finite presentation theorem for approximating logic programsPublished by Association for Computing Machinery (ACM) ,1990
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Flow analysis and optimization of LISP-like structuresPublished by Association for Computing Machinery (ACM) ,1979