A simple theorem prover based on symbolic trajectory evaluation and BDD's

S. Hazelhurst; C.-J.H. Seger

doi:10.1109/43.372367

A simple theorem prover based on symbolic trajectory evaluation and BDD's

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.372367 ◽

1995 ◽

Vol 14 (4) ◽

pp. 413-422 ◽

Cited By ~ 23

Author(s):

S. Hazelhurst ◽

C.-J.H. Seger

Keyword(s):

Theorem Prover ◽

Symbolic Trajectory Evaluation ◽

Simple Theorem ◽

Symbolic Trajectory

Download Full-text

Symbolic Trajectory Evaluation

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_12 ◽

2000 ◽

pp. 185-199

Author(s):

Damir A. Jamsek

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Formal verification of PowerPC arrays using symbolic trajectory evaluation

33rd Design Automation Conference Proceedings, 1996 ◽

10.1109/dac.1996.545655 ◽

2005 ◽

Cited By ~ 15

Author(s):

M. Pandey ◽

R. Raimi ◽

D.L. Beatty ◽

R.E. Bryant

Keyword(s):

Formal Verification ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Symbolic trajectory evaluation

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_1 ◽

1997 ◽

pp. 3-78 ◽

Cited By ~ 26

Author(s):

Scott Hazelhurst ◽

Carl-Johan H. Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

An Introduction to Symbolic Trajectory Evaluation

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_3 ◽

2006 ◽

pp. 56-77

Author(s):

Koen Claessen ◽

Jan-Willem Roorda

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

STP: a simple theorem prover for IBM-PC compatible computers

Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems - SIGSMALL '90 ◽

10.1145/99412.99439 ◽

1990 ◽

Author(s):

Blayne Mayfield ◽

Timothy Baird

Keyword(s):

Theorem Prover ◽

Simple Theorem ◽

Ibm Pc

Download Full-text

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

Logical Methods in Computer Science ◽

10.2168/lmcs-5(2:1)2009 ◽

2009 ◽

Vol 5 (2) ◽

Cited By ~ 1

Author(s):

Koen Claessen ◽

Jan-Willem Roorda

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34188-5_21 ◽

2012 ◽

pp. 242-246

Author(s):

Yongjian Li ◽

Naiju Zeng ◽

William N. N. Hung ◽

Xiaoyu Song

Keyword(s):

Theorem Proving ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Completeness Refinement in Abstract Symbolic Trajectory Evaluation

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27864-1_6 ◽

2004 ◽

pp. 38-52

Author(s):

Mila Dalla Preda

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Using Abstract Specifications to Verify PowerPC™ Custom Memories by Symbolic Trajectory Evaluation

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_30 ◽

2001 ◽

pp. 386-402 ◽

Cited By ~ 3

Author(s):

Jayanta Bhadra ◽

Andrew Martin ◽

Jacob Abraham ◽

Magdy Abadir

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving

Computer Supported Cooperative Work in Design III - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72863-4_31 ◽

2007 ◽

pp. 297-307

Author(s):

Shujun Deng ◽

Weimin Wu ◽

Jinian Bian

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Sat Solving ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text