Research on Automatic Verification of Finite-State Concurrent Systems.

1987 ◽  
Author(s):  
R. E. Bryant ◽  
E.M. Clarke ◽  
O. Grumberg
Keyword(s):  
Concurrent Systems ◽  
Automatic Verification ◽  
Finite State

Exploiting transition locality in automatic verification of finite-state concurrent systems

2004 ◽  
Vol 6 (4) ◽  
pp. 320-341 ◽  
Author(s):  
Giuseppe Della Penna ◽  
Benedetto Intrigila ◽  
Igor Melatti ◽  
Enrico Tronci ◽  
Marisa Venturini Zilli
Keyword(s):  
Concurrent Systems ◽  
Automatic Verification ◽  
Finite State

Finding reachable states of finite-state concurrent systems

1989 ◽  
Vol 9 (4) ◽  
pp. 253-272
Author(s):  
Gregory B. Titus ◽  
Allan M. Stavely
Keyword(s):  
Concurrent Systems ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document