Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving

This publication has 7 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Verification of a distributed cache memory by using abstractions
  Published by Springer Nature ,1994
• Elf: A meta-language for deductive systems
  Published by Springer Nature ,1994
• A tool for symbolic program verification and abstraction
  Published by Springer Nature ,1993
• Combining model checking and theorem proving to verify parallel processes
  Published by Springer Nature ,1993
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986