Time and probabilities in specification and verification of real-time systems.
Hans A. HanssonPublished in: RTS (1992)
Keyphrases
- real time systems
- formal verification
- reactive systems
- model checking
- distributed systems
- real time
- protocol specification
- formal methods
- asynchronous circuits
- probability distribution
- mission critical
- embedded real time systems
- timing constraints
- real time database systems
- embedded systems
- formal specification
- architectural model
- real time embedded
- specification language
- concurrent systems
- low cost
- high level
- object oriented programming language
- database systems
- artificial intelligence