Addressing dynamic issues of program model checking

2001 ◽  
pp. 80-102 ◽  
Author(s):  
Flavio Lerda ◽  
Willem Visser
Keyword(s):  
Model Checking ◽  
Program Model

scholarly journals Dynamic Incremental Hashing in Program Model Checking

2006 ◽  
Vol 149 (2) ◽  
pp. 51-69 ◽  
Author(s):  
Tilman Mehler ◽  
Stefan Edelkamp
Keyword(s):  
Model Checking ◽  
Program Model

scholarly journals Boom: Taking Boolean Program Model Checking One Step Further

2010 ◽  
pp. 145-149 ◽  
Author(s):  
Gerard Basler ◽  
Matthew Hague ◽  
Daniel Kroening ◽  
C. -H. Luke Ong ◽  
Thomas Wahl ◽  
...  
Keyword(s):  
Model Checking ◽  
Program Model ◽  
One Step

Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study

2007 ◽  
Author(s):  
Lawrence Z. Markosian ◽  
Masoud Mansouri-Samani ◽  
Peter C. Mehlitz ◽  
Tom Pressburger
Keyword(s):  
Model Checking ◽  
Program Model

Adapting side effects analysis for modular program model checking

2003 ◽  
Vol 28 (5) ◽  
pp. 188-197 ◽  
Author(s):  
Oksana Tkachuk ◽  
Matthew B. Dwyer
Keyword(s):  
Side Effects ◽  
Model Checking ◽  
Program Model
Sign in / Sign up

Export Citation Format

Share Document