A New Approach to the Specification and Verification of Real-Time Systems.
George LogothetisKlaus SchneiderPublished in: ECRTS (2001)
Keyphrases
- real time systems
- formal verification
- reactive systems
- model checking
- formal methods
- real time
- protocol specification
- asynchronous circuits
- distributed systems
- formal specification
- embedded systems
- real time database systems
- high level
- timing constraints
- specification language
- mission critical
- real time embedded
- concurrent systems
- cooperative
- object oriented programming language
- anytime algorithms
- open source
- architectural model