Login / Signup
The Invariant Checker: Automated Deductive Verification of Reactive Systems.
Hassen Saïdi
Published in:
CAV (1997)
Keyphrases
</>
reactive systems
model checking
formal methods
temporal logic
information flow
formal specification
concurrent systems
object oriented
petri net
real time systems
control flow
affine invariant
state machines
real time
case study
decision making
data mining
real world