Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
Ernst-Rüdiger OlderogHenning DierksPublished in: J. Univers. Comput. Sci. (2003)
Keyphrases
- real time systems
- object oriented programming language
- real time
- architectural model
- formal verification
- embedded systems
- reactive systems
- distributed systems
- asynchronous circuits
- model checking
- mission critical
- timing constraints
- conceptual model
- formal methods
- machine learning
- high level
- embedded devices
- data management
- real time embedded