STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.
Nikolaj BjørnerAnca BrowneEdward Y. ChangMichael ColónArjun KapurZohar MannaHenny SipmaTomás E. UribePublished in: CAV (1996)
Keyphrases
- real time systems
- real time
- reactive systems
- distributed systems
- object oriented
- timing constraints
- embedded systems
- architectural model
- real time database systems
- mission critical
- object oriented programming language
- high level
- open source
- model checking
- multi agent systems
- cooperative
- artificial intelligence
- machine learning