Modularization and abstraction: The keys to practical formal verification

This publication has 16 references indexed in Scilit:

• Model Checking
  Published by Springer Nature ,1996
• A Structural Induction Theorem for Processes
  Information and Computation, 1995
• Temporal Verification of Reactive Systems
  Published by Springer Nature ,1995
• Verifying parameterized networks using abstraction and regular languages
  Published by Springer Nature ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Reasoning about systems with many processes
  Journal of the ACM, 1992
• An experience in proving regular networks of processes by modular model checking
  Acta Informatica, 1992
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977