Abstraction
Model checkers
Timed automaton
Uppaal Model Checker
Model checking
Is-a
Software engineering
Computing
Computer programming