Abstract interpretation of reactive systems
- 3 March 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 19 (2), 253-291
- https://doi.org/10.1145/244795.244800
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Property preserving abstractions for the verification of concurrent systemsFormal Methods in System Design, 1995
- Modal Logic, Transition Systems and ProcessesJournal of Logic and Computation, 1994
- Suspension analyses for concurrent logic programsACM Transactions on Programming Languages and Systems, 1994
- CTL∗ and ECTL∗ as fragments of the modal μ-calculusTheoretical Computer Science, 1994
- Frameworks for abstract interpretationActa Informatica, 1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963