Exploiting step semantics for efficient bounded model checking of asynchronous systems

This publication has 9 references indexed in Scilit:

• Planning as satisfiability: parallel plans and algorithms for plan search
  Artificial Intelligence, 2006
• BMC via on-the-fly determinization
  International Journal on Software Tools for Technology Transfer, 2005
• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Bounded LTL model checking with stable models
  Theory and Practice of Logic Programming, 2003
• Temporal Induction by Incremental SAT Solving
  Electronic Notes in Theoretical Computer Science, 2003
• Symbolic model checking with rich assertional languages
  Theoretical Computer Science, 2001
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• Minimum Feedback Arc Sets for a Directed Graph
  IEEE Transactions on Circuit Theory, 1963