On-the-fly verification with stubborn sets

This publication has 9 references indexed in Scilit:

• The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic
  Published by Springer Nature ,2006
• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• 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
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Published by Springer Nature ,1992
• Coverage Preserving Reduction Strategies for Reachability Analysis
  Published by Elsevier ,1992
• Using partial orders to improve automatic verification methods
  Published by American Mathematical Society (AMS) ,1991
• Stubborn sets for reduced state space generation
  Published by Springer Nature ,1991
• Eliminating redundant interleavings during concurrent program verification
  Published by Springer Nature ,1989