Temporal Verification of Simulink Diagrams.
Jiri BarnatPetr BauchVojtech HavelPublished in: HASE (2014)
Keyphrases
- temporal databases
- spatio temporal
- control system
- temporal data
- temporal information
- temporal constraints
- control algorithm
- temporal evolution
- model checking
- temporal patterns
- temporal analysis
- formal verification
- time stamped
- functional verification
- hand drawn
- verification method
- temporal ordering
- real time
- temporal relations
- face verification
- fault detection
- temporal reasoning
- temporal logic
- space time
- database systems
- case study