Automatic Deductive Verification with Invisible Invariants

This publication has 18 references indexed in Scilit:

• Control and data abstraction: the cornerstones of practical formal verification
  International Journal on Software Tools for Technology Transfer, 2000
• Reducing Model Checking of the Many to the Few
  Published by Springer Nature ,2000
• Handling Global Conditions in Parametrized System Verification
  Published by Springer Nature ,1999
• Verifying an infinite family of inductions simultaneously using data independence and FDR
  Published by Springer Nature ,1999
• Automated verification of Szymanski's algorithm
  Published by Springer Nature ,1998
• A proof of burns N-process mutual exclusion algorithm using abstraction
  Published by Springer Nature ,1998
• A Structural Induction Theorem for Processes
  Information and Computation, 1995
• Reasoning about rings
  Published by Association for Computing Machinery (ACM) ,1995
• An experience in proving regular networks of processes by modular model checking
  Acta Informatica, 1992
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986