A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL

Yongjian Li; William N.N. Hung; Xiaoyu Song

doi:10.1016/j.tcs.2011.01.032

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL

Theoretical Computer Science ◽

10.1016/j.tcs.2011.01.032 ◽

2011 ◽

Vol 412 (25) ◽

pp. 2746-2765 ◽

Cited By ~ 3

Author(s):

Yongjian Li ◽

William N.N. Hung ◽

Xiaoyu Song

Keyword(s):

Symbolic Trajectory Evaluation ◽

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

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

Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics

Computer Science – Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/11753728_56 ◽

2006 ◽

pp. 555-566 ◽

Cited By ~ 4

Author(s):

Jan-Willem Roorda ◽

Koen Claessen

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text