An Approach Towards Formal Verification of Object Oriented Real-Time Systems.
Ruud C. M. de RooijJan van KatwijkPublished in: RTCSA (1999)
Keyphrases
- formal verification
- real time systems
- object oriented
- model checking
- object oriented programming language
- real time
- automated verification
- model checker
- embedded systems
- distributed systems
- relational databases
- bounded model checking
- object oriented databases
- data model
- programming language
- symbolic model checking
- reverse engineering
- timing constraints
- real time database systems
- query language
- mission critical
- anytime algorithms
- software engineering
- program slicing
- architectural model
- database technology
- fuzzy logic
- database
- artificial intelligence