Automatic Abstraction in Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.27 ◽

2007 ◽

Author(s):

Sara Adams ◽

Magnus Bjork ◽

Tom Melham ◽

Carl-Johan Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401989 ◽

2007 ◽

Author(s):

Yan Chen ◽

Yujing He ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction in Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401991 ◽

2007 ◽

Author(s):

Sara Adams ◽

Magnus Bjork ◽

Tom Melham ◽

Carl-Johan Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.11 ◽

2007 ◽

Author(s):

Yan Chen ◽

Yujing He ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation

Proceedings of the 45th annual conference on Design automation - DAC '08 ◽

10.1145/1391469.1391508 ◽

2008 ◽

Author(s):

Yan Chen ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

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 ◽

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 ◽

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

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

Logical Methods in Computer Science ◽

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

2009 ◽

Vol 5 (2) ◽

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