Temporal Proof Methodologies for Real-time Systems.
Thomas A. HenzingerZohar MannaAmir PnueliPublished in: POPL (1991)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- spatio temporal
- real time database systems
- timing constraints
- temporal databases
- temporal reasoning
- temporal constraints
- artificial intelligence
- temporal data
- temporal information
- cooperative
- architectural model
- real time embedded
- low cost
- object oriented