Limits for automatic verification of finite-state concurrent systems

Information Processing Letters

Volumn 22, Issue 6, 1986, Pages 307-309

  Apt, Krzysztof R ^a   Kozen, Dexter C ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

concurrency; Logics of programs; program verification

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY;

FINITE-STATE CONCURRENT SYSTEMS; LOGICS OF PROGRAMS; PROGRAM VERIFICATION;

COMPUTER PROGRAMMING;

EID: 0022720442     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/0020-0190(86)90071-2     Document Type: Article

References (5)

1. Design and synthesis of synchronization skeletons using branching time temporal logic
2. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach
3. Verification of concurrent programs: Temporal proof principles
4. Specification and verification of concurrent systems in CESAR