Optimality in abstractions of model checking

This publication has 8 references indexed in Scilit:

• Property preserving simulations
  Published by Springer Nature ,1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Modal specifications
  Published by Springer Nature ,1990
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979