Verifying Event-Based Timing Constraints by Translation into Presburger Formulae.
Björn LisperPublished in: FMICS-AVoCS (2017)
Keyphrases
- timing constraints
- real time databases
- real time systems
- embedded devices
- execution model
- concurrency control
- active databases
- real time database systems
- real time
- model checking
- resource constraints
- transaction processing
- security requirements
- distributed database systems
- web services
- temporal reasoning
- management system
- information systems