Scalable shared memory LTL model checking

This publication has 35 references indexed in Scilit:

• Shared Hash Tables in Parallel Model Checking
  Electronic Notes in Theoretical Computer Science, 2008
• CTL* model checking on a shared-memory architecture
  Formal Methods in System Design, 2006
• More efficient on-the-fly LTL verification with Tarjan's algorithm
  Theoretical Computer Science, 2005
• A distributed algorithm for strong bisimulation reduction of state spaces
  International Journal on Software Tools for Technology Transfer, 2005
• A Note on On-the-Fly Verification Algorithms
  2005
• Scalable lock-free dynamic memory allocation
  ACM SIGPLAN Notices, 2004
• Sequential and distributed model checking of Petri nets
  International Journal on Software Tools for Technology Transfer, 2004
• An optimal algorithm for global termination detection in shared-memory asynchronous multiprocessor systems
  IEEE Transactions on Parallel and Distributed Systems, 1997
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972