Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Oded MalerDejan NickovicAmir PnueliPublished in: Pillars of Computer Science (2008)
Keyphrases
- temporal properties
- model checking
- discrete space
- finite state machines
- continuous domains
- continuous action
- continuous data
- continuous variables
- discrete variables
- possibility theory
- discrete data
- formal methods
- petri net
- continuous functions
- continuous valued
- formal specification
- graphical models
- general purpose
- artificial neural networks