Abstract model checking of infinite specifications

This publication has 13 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Abstract debugging of higher-order imperative languages
  Published by Association for Computing Machinery (ACM) ,1993
• State-based model checking of event-driven system requirements
  IEEE Transactions on Software Engineering, 1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present
  Communications on Pure and Applied Mathematics, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• The Larch Family of Specification Languages
  IEEE Software, 1985
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Finite state modelling in program development
  Published by Association for Computing Machinery (ACM) ,1975