Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables

2011 ◽  
Author(s):  
Hiroyuki Inoue ◽  
Tatsuhiro Tsuchiya ◽  
Tohru Kikuno
Keyword(s):  
Model Checking ◽  
Concurrent Systems ◽  
Bounded Model Checking ◽  
Integer Variables

scholarly journals Model-checking concurrent systems with unbounded integer variables

1999 ◽  
Vol 21 (4) ◽  
pp. 747-789 ◽  
Author(s):  
Tevfik Bultan ◽  
Richard Gerber ◽  
William Pugh
Keyword(s):  
Model Checking ◽  
Concurrent Systems ◽  
Integer Variables

Bounded Model Checking for Probabilistic Computation Tree Logic

2012 ◽  
Vol 23 (7) ◽  
pp. 1656-1668 ◽  
Author(s):  
Cong-Hua ZHOU ◽  
Zhi-Feng LIU ◽  
Chang-Da WANG
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Probabilistic Computation ◽  
Computation Tree Logic ◽  
Computation Tree

scholarly journals Symbolic Causality Checking Using Bounded Model Checking

2015 ◽  
pp. 203-221 ◽  
Author(s):  
Adrian Beer ◽  
Stephan Heidinger ◽  
Uwe Kühne ◽  
Florian Leitner-Fischer ◽  
Stefan Leue
Keyword(s):  
Model Checking ◽  
Bounded Model Checking
Sign in / Sign up

Export Citation Format

Share Document