Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

This publication has 35 references indexed in Scilit:

• More efficient on-the-fly LTL verification with Tarjan's algorithm
  Theoretical Computer Science, 2005
• Using partial orders to improve automatic verification methods
  2005
• Symmetry reductions in model checking
  1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• A stubborn attack on state explosion
  Formal Methods in System Design, 1992
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• Symbolic model checking: 1020 States and beyond
  Information and Computation, 1992
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972