Keyphrases
- real time systems
- automated verification
- object oriented
- model checking
- automated reasoning
- formal verification
- object oriented programming language
- real time
- distributed systems
- data model
- embedded systems
- programming language
- temporal logic
- object oriented databases
- query language
- design patterns
- relational databases
- graph theory
- software engineering
- timing constraints
- theorem prover
- probabilistic reasoning
- real time database systems
- mission critical
- real time embedded
- database technology
- database systems
- artificial intelligence