Verification of Reactive Systems Using DisCo and PVS.

Pertti Kellomäki

Published in: FME (1997)

Keyphrases

reactive systems
model checking
formal verification
timed automata
temporal logic
formal methods
formal specification
concurrent systems
petri net
information flow
theorem proving
low cost
state machines
knowledge acquisition