Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
Henning DierksPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- real time systems
- object oriented programming language
- architectural model
- formal verification
- real time
- distributed systems
- reactive systems
- embedded systems
- asynchronous circuits
- timing constraints
- real time database systems
- embedded real time systems
- protocol specification
- mission critical
- model checking
- formal methods
- data model
- high level
- artificial intelligence
- anytime algorithms
- e government
- knowledge management