Automated Verification of Infinite State Concurrent Systems.

Piotr Dembinski Wojciech Penczek Agata Pólrola

Published in: PPAM (2001)

Keyphrases

automated verification
concurrent systems
model checking
temporal logic
formal specification
formal verification
process algebra
transition systems
finite state
formal methods
distributed systems
automated reasoning
modal logic
petri net
case study
graphical models
asynchronous circuits
reactive systems