ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
Formal Methods in Computer Aided Design (FMCAD'07)
◽
10.1109/famcad.2007.11
◽
2007
◽
Cited By ~ 1
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
Automatic Abstraction in Symbolic Trajectory Evaluation
Formal Methods in Computer Aided Design (FMCAD'07)
◽
10.1109/famcad.2007.27
◽
2007
◽
Cited By ~ 7
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 in Symbolic Trajectory Evaluation
Formal Methods in Computer Aided Design (FMCAD'07)
◽
10.1109/fmcad.2007.4401991
◽
2007
◽
Cited By ~ 1
Author(s):
Sara Adams
◽
Magnus Bjork
◽
Tom Melham
◽
Carl-Johan Seger
Keyword(s):
Symbolic Trajectory Evaluation
◽
Automatic Abstraction
◽
Symbolic Trajectory
Download Full-text
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/11817963_19
◽
2006
◽
pp. 175-189
◽
Cited By ~ 9
Author(s):
Jan-Willem Roorda
◽
Koen Claessen
Keyword(s):
Abstraction Refinement
◽
Symbolic Trajectory Evaluation
◽
Symbolic Trajectory
Download Full-text
Automatic abstraction refinement of TR for PDR
2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)
◽
10.1109/aspdac.2016.7427999
◽
2016
◽
Cited By ~ 2
Author(s):
Kuan Fan
◽
Ming-Jen Yang
◽
Chung-Yang Huang
Keyword(s):
Abstraction Refinement
◽
Automatic Abstraction
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close