Deductive Verification of Modular Systems

This publication has 19 references indexed in Scilit:

• The existence of refinement mappings
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Deductive verification of real-time systems using STeP
  Published by Springer Nature ,1997
• STeP: Deductive-algorithmic verification of reactive and real-time systems
  Published by Springer Nature ,1996
• Hierarchical verification using verification diagrams
  Published by Springer Nature ,1996
• Generalized temporal verification diagrams
  Published by Springer Nature ,1995
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• Temporal verification of simulation and refinement
  Published by Springer Nature ,1994
• Verification of VLSI Circuits Using LP
  DAIMI Report Series, 1988
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Tentative steps toward a development method for interfering programs
  ACM Transactions on Programming Languages and Systems, 1983