Detecting Errors Before Reaching Them

This publication has 16 references indexed in Scilit:

• The demarcation protocol: A technique for maintaining linear arithmetic constraints in distributed database systems
  Published by Springer Nature ,2005
• Alternating-time temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automating Modular Verification
  Published by Springer Nature ,1999
• MOCHA: Modularity in model checking
  Published by Springer Nature ,1998
• You assume, we guarantee: Methodology and case studies
  Published by Springer Nature ,1998
• From pre-historic to post-modern symbolic model checking
  Published by Springer Nature ,1998
• Hardware-Software Co-Design of Embedded Systems
  Published by Springer Nature ,1997
• VIS: A system for verification and synthesis
  Lecture Notes in Computer Science, 1996
• Module checking
  Published by Springer Nature ,1996
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986