Automatic verification of finite-state concurrent systems using temporal logic specifications

1986 ◽  
Vol 8 (2) ◽  
pp. 244-263 ◽  
Author(s):  
E. M. Clarke ◽  
E. A. Emerson ◽  
A. P. Sistla
Keyword(s):  
Temporal Logic ◽  
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

Using Temporal Logic for Automatic Verification of Finite State Systems

1985 ◽  
pp. 3-26 ◽  
Author(s):  
E. M. Clarke ◽  
M. C. Browne ◽  
E. A. Emerson ◽  
A. P. Sistla
Keyword(s):  
Temporal Logic ◽  
Automatic Verification ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document