Enhanced Vacuity Detection in Linear Temporal Logic

This publication has 16 references indexed in Scilit:

• The complementation problem for Büchi automata with applications to temporal logic
  Published by Springer Nature ,2005
• Vacuity detection in temporal model checking
  International Journal on Software Tools for Technology Transfer, 2003
• Vacuum Cleaning CTL Formulae
  Published by Springer Nature ,2002
• The ForSpec Temporal Logic: A New Temporal Property-Specification Language
  Published by Springer Nature ,2002
• Announcement
  Digestive Surgery, 2001
• Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification
  Published by Springer Nature ,2000
• Efficient detection of vacuity in ACTL formulas
  Published by Springer Nature ,1997
• Reasoning about Infinite Computations
  Information and Computation, 1994
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• The glory of the past
  Published by Springer Nature ,1985