Login / Signup
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems.
Raffaella Gentilini
Klaus Schneider
Alexander Dreyer
Published in:
MBMV (2007)
Keyphrases
</>
temporal logic
model checking
verification method
concurrent systems
reactive systems
interval arithmetic
mazurkiewicz traces
distributed systems
formal methods
knowledge base
knowledge based systems
belief revision
modal logic
formal verification