Model Based Formal Verification of Distributed Production Control Systems.

Martin Kardos Franz J. Rammig

Published in: SoftSpez Final Report (2004)

Keyphrases

formal verification
control system
model checking
model checker
distributed systems
automated verification
bounded model checking
distributed environment
symbolic model checking
cooperative
production system
functional verification
knowledge representation
temporal logic