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 EPR-Based Bounded Model Checking at Word Level

2012 ◽  
pp. 210-224 ◽  
Author(s):  
Moshe Emmer ◽  
Zurab Khasidashvili ◽  
Konstantin Korovin ◽  
Christoph Sticksel ◽  
Andrei Voronkov
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Word Level
Sign in / Sign up

Export Citation Format

Share Document