Visual Abstractions for Temporal Verification

This publication has 14 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Deductive Verification of Modular Systems
  Published by Springer Nature ,1998
• Generating finite-state abstractions of reactive systems using decision procedures
  Published by Springer Nature ,1998
• 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
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987