Liveness Checking as Safety Checking

This publication has 10 references indexed in Scilit:

• Generalized Symbolic Trajectory Evaluation — Abstraction in Action
  Published by Springer Nature ,2002
• The Mathematical Foundation of Symbolic Trajectory Evaluation
  Published by Springer Nature ,1999
• Model Checking of Safety Properties
  Published by Springer Nature ,1999
• Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking
  Published by Springer Nature ,1999
• From pre-historic to post-modern symbolic model checking
  Published by Springer Nature ,1998
• Simple On-the-fly Automatic Verification of Linear Temporal Logic
  Published by Springer Nature ,1996
• Formal verification by symbolic evaluation of partially-ordered trajectories
  Formal Methods in System Design, 1995
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Formal verification of digital circuits using symbolic ternary system models
  Published by American Mathematical Society (AMS) ,1991
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988