A short survey of automated reasoning

Cached

Download Links

by John Harrison
Citations:2 - 0 self

Active Bibliography

708 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
603 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
812 The Symbol Grounding Problem – Stevan Harnad - 1990
879 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
1057 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
1184 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1977 A theory of timed automata – Rajeev Alur - 1999
1107 Temporal and modal logic – E. Allen Emerson - 1995