ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Word level model checking-avoiding the Pentium FDIV error
33rd Design Automation Conference Proceedings, 1996
◽
10.1109/dac.1996.545654
◽
2005
◽
Cited By ~ 1
Author(s):
E.M. Clarke
◽
M. Khaira
◽
X. Zhao
Keyword(s):
Model Checking
◽
Word Level
◽
Level Model
Download Full-text
Related Documents
Cited By
References
A Practical Approach to Word Level Model Checking of Industrial Netlists
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-540-70545-1_43
◽
2008
◽
pp. 446-458
◽
Cited By ~ 6
Author(s):
Per Bjesse
Keyword(s):
Model Checking
◽
Practical Approach
◽
Word Level
◽
Level Model
Download Full-text
Word level model checking
Mathematical Foundations of Computer Science 1996 - Lecture Notes in Computer Science
◽
10.1007/3-540-61550-4_136
◽
1996
◽
pp. 1-1
Author(s):
Edmund M. Clarke
Keyword(s):
Model Checking
◽
Word Level
◽
Level Model
Download Full-text
Efficient uninterpreted function abstraction and refinement for word-level model checking
2016 Formal Methods in Computer-Aided Design (FMCAD)
◽
10.1109/fmcad.2016.7886662
◽
2016
◽
Cited By ~ 5
Author(s):
Yen-Sheng Ho
◽
Pankaj Chauhan
◽
Pritam Roy
◽
Alan Mishchenko
◽
Robert Brayton
Keyword(s):
Model Checking
◽
Word Level
◽
Level Model
Download Full-text
Verification of all circuits in a floating-point unit using word-level model checking
Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
◽
10.1007/bfb0031797
◽
1996
◽
pp. 19-33
◽
Cited By ~ 18
Author(s):
Yirng-An Chen
◽
Edmund Clarke
◽
Pei-Hsin Ho
◽
Yatin Hoskote
◽
Timothy Kam
◽
...
Keyword(s):
Model Checking
◽
Floating Point
◽
Word Level
◽
Level Model
◽
Floating Point Unit
Download Full-text
Word level model checking---avoiding the Pentium FDIV error
33rd Design Automation Conference Proceedings, 1996
◽
10.1145/240518.240640
◽
1996
◽
Cited By ~ 11
Author(s):
E. M. Clarke
◽
M. Khaira
◽
X. Zhao
Keyword(s):
Model Checking
◽
Word Level
◽
Level Model
Download Full-text
A high-level model-checking tool for verifying service agreements
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)
◽
10.1109/sose.2011.6139120
◽
2011
◽
Cited By ~ 8
Author(s):
Abubkr Abdelsadiq
◽
Carlos Molina-Jimenez
◽
Santosh Shrivastava
Keyword(s):
Model Checking
◽
Level Model
◽
High Level
Download Full-text
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.31
◽
2010
◽
Author(s):
Farn Wang
Keyword(s):
Software Verification
◽
Decision Diagrams
◽
Word Level
◽
Level Model
Download Full-text
Code‐level model checking in the software development workflow at Amazon Web Services
Software Practice and Experience
◽
10.1002/spe.2949
◽
2021
◽
Author(s):
Nathan Chong
◽
Byron Cook
◽
Jonathan Eidelman
◽
Konstantinos Kallas
◽
Kareem Khazem
◽
...
Keyword(s):
Model Checking
◽
Web Services
◽
Software Development
◽
Amazon Web Services
◽
Level Model
Download Full-text
Word-Level Sequential Memory Abstraction for Model Checking
2008 Formal Methods in Computer-Aided Design
◽
10.1109/fmcad.2008.ecp.20
◽
2008
◽
Author(s):
Per Bjesse
Keyword(s):
Model Checking
◽
Word Level
◽
Sequential Memory
Download Full-text
EPR-Based Bounded Model Checking at Word Level
Automated Reasoning - Lecture Notes in Computer Science
◽
10.1007/978-3-642-31365-3_18
◽
2012
◽
pp. 210-224
◽
Cited By ~ 2
Author(s):
Moshe Emmer
◽
Zurab Khasidashvili
◽
Konstantin Korovin
◽
Christoph Sticksel
◽
Andrei Voronkov
Keyword(s):
Model Checking
◽
Bounded Model Checking
◽
Word Level
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close