On-the-fly Verification of Linear Temporal Logic

This publication has 17 references indexed in Scilit:

• Implicit and incremental computation of primes and essential primes of Boolean functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia
  Reliability Engineering & System Safety, 1997
• Partial-Order Methods for the Verification of Concurrent Systems
  Published by Springer Nature ,1996
• All from one, one for all: on model checking using representatives
  Published by Springer Nature ,1993
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• An improved protocol reachability analysis technique
  Software: Practice and Experience, 1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978