scholarly journals A Practical Approach to Word Level Model Checking of Industrial Netlists

2008 ◽  
pp. 446-458 ◽  
Author(s):  
Per Bjesse
Keyword(s):  
Model Checking ◽  
Practical Approach ◽  
Word Level ◽  
Level Model

Efficient uninterpreted function abstraction and refinement for word-level model checking

2016 ◽  
Author(s):  
Yen-Sheng Ho ◽  
Pankaj Chauhan ◽  
Pritam Roy ◽  
Alan Mishchenko ◽  
Robert Brayton
Keyword(s):  
Model Checking ◽  
Word Level ◽  
Level Model

Verification of all circuits in a floating-point unit using word-level model checking

1996 ◽  
pp. 19-33 ◽  
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

scholarly journals Code‐level model checking in the software development workflow at Amazon Web Services

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

scholarly journals Model checking Duration Calculus: a practical approach

2008 ◽  
Vol 20 (4-5) ◽  
pp. 481-505 ◽  
Author(s):  
Roland Meyer ◽  
Johannes Faber ◽  
Jochen Hoenicke ◽  
Andrey Rybalchenko
Keyword(s):  
Model Checking ◽  
Practical Approach ◽  
Duration Calculus
Sign in / Sign up

Export Citation Format

Share Document