Index
π-compatibility
A, B
Acyclic parametric timed automaton
Acyclic trace
Affine hybrid automaton
Behavioral cartography
Bisimulation
Bounded retransmission protocol
C
Clock
Constraint
Constraint inclusion
Continuous variable
CSMA/CD protocol
CTL
D, F, G, H
Discrete variables
Flip-flop circuit
Good trace set
Hybrid automaton
HyMITATOR
I, L
IMITATOR
Initial constraint
Initial state
Inverse method
Labeled transition system
Linear hybrid automaton
Linear inequality
LTL
N, P
Network of parametric timed automata
Next generation spacecraft flight control system
Parallel composition
Parameter
Parametric timed automaton
Projection
R
Reachability
Renaming variables
Robustness
Room heating benchmark
Root contention protocol
Run
Run equivalence
S
Schedulability
Semantics of linear hybrid automata
Semantics of timed automata
Set inclusion
SPSMALL memory
State inclusion
T, V
Time elapsing
Timed automata augmented with stopwatches
Timed automaton
Trace
Trace set
VALMEM project
Get The Inverse Method: Parametric Verification of Real-time Embedded Systems now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
