Temporal Verification of Real-Time Systems.
Sérgio Vale Aguiar CamposEdmund M. ClarkeWilfredo R. MarreroMarius MineaHiromi HiraishiPublished in: IEICE Trans. Inf. Syst. (1995)
Keyphrases
- real time systems
- real time
- spatio temporal
- embedded systems
- distributed systems
- timing constraints
- temporal information
- temporal reasoning
- temporal data
- real time embedded
- model checking
- temporal constraints
- mission critical
- embedded real time systems
- architectural model
- real time database systems
- computer science
- anytime algorithms
- formal methods
- temporal databases
- case study