Formal verification of algorithms for critical systems.
John M. RushbyFriedrich W. von HenkePublished in: SIGSOFT (1991)
Keyphrases
- formal verification
- model checking
- orders of magnitude
- automated verification
- learning algorithm
- theoretical analysis
- computationally efficient
- data mining algorithms
- retrieval systems
- computer vision algorithms
- computational complexity
- benchmark datasets
- knowledge based systems
- distributed systems
- software components
- object oriented
- bounded model checking