Object-Oriented Specification and Formal Verification of Real-Time Systems.
Jyhjong LinDavid Chenho KungPei HsiaPublished in: Ann. Softw. Eng. (1996)
Keyphrases
- formal verification
- real time systems
- object oriented
- model checking
- object oriented programming language
- bounded model checking
- real time
- symbolic model checking
- embedded systems
- relational databases
- model checker
- automated verification
- real time database systems
- distributed systems
- object oriented databases
- timing constraints
- programming language
- mission critical
- reactive systems
- temporal logic
- query language
- real time embedded
- test cases
- anytime algorithms
- architectural model
- design patterns
- heuristic search
- open source
- dynamic programming
- case study
- databases