An Assume-Guarantee Rule for Checking Simulation

This publication has 10 references indexed in Scilit:

• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Reactive modules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Fair simulation
  Published by Springer Nature ,1997
• A compositional rule for hardware design refinement
  Published by Springer Nature ,1997
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• A proof technique for rely/guarantee properties
  Published by Springer Nature ,1985