Progress on the State Explosion Problem in Model Checking

This publication has 26 references indexed in Scilit:

• Datalog LITE
  ACM Transactions on Computational Logic, 2002
• Model Checking
  2001
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Succinctness as a source of complexity in logical formalisms
  Annals of Pure and Applied Logic, 1999
• Modal Languages and Bounded Fragments of Predicate Logic
  Journal of Philosophical Logic, 1998
• Succinct Representation, Leaf Languages, and Projection Reductions
  Information and Computation, 1998
• Languages represented by Boolean formulas
  Information Processing Letters, 1997
• Symbolic model checking: 1020 States and beyond
  Information and Computation, 1992
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986