Procedure-modular specification and verification of temporal safety properties.
Siavash SoleimanifardDilian GurovMarieke HuismanPublished in: Softw. Syst. Model. (2015)
Keyphrases
- temporal properties
- model checking
- formal verification
- temporal ordering
- temporal constraints
- formal specification
- formal methods
- temporal evolution
- temporal information
- protocol specification
- data sets
- linear temporal logic
- concurrent systems
- temporal databases
- desirable properties
- temporal reasoning
- spatial and temporal
- temporal dimension
- asynchronous circuits
- temporal characteristics
- structural properties
- safety analysis
- high level