Specification and Runtime Verification of Temporal Assessments in Simulink.
Akshay RajhansAnastasia MavrommatiPieter J. MostermanRoberto G. ValentiPublished in: RV (2021)
Keyphrases
- formal verification
- temporal ordering
- asynchronous circuits
- model checking
- spatio temporal
- formal methods
- linear temporal logic
- protocol specification
- temporal data
- temporal patterns
- control system
- temporal information
- temporal constraints
- temporal reasoning
- temporal relations
- temporal evolution
- spatial and temporal
- control algorithm
- temporal consistency
- time stamped
- neural network
- temporal dimension
- temporal databases
- formal specification
- temporal structure
- temporal aspects
- temporal behavior
- concurrent systems
- data sets