Formal verification of a deadlock detection algorithm
Freek VerbeekJulien SchmaltzPublished in: ACL2 (2011)
Keyphrases
- detection algorithm
- formal verification
- model checking
- detection method
- detection rate
- detection accuracy
- feature detection
- bounded model checking
- motion detection
- outlier detection
- automated verification
- symbolic model checking
- vehicle detection
- model checker
- moving objects
- boundary detection
- corner detection
- temporal logic
- program slicing
- harris corner
- web services
- computer vision