A Termination Detection Algorithm: Specification and Verification.
Robert EschbachPublished in: World Congress on Formal Methods (1999)
Keyphrases
- detection algorithm
- formal verification
- asynchronous circuits
- detection method
- detection rate
- formal methods
- protocol specification
- model checking
- motion detection
- detection accuracy
- formal specification
- feature detection
- corner detection
- outlier detection
- moving objects
- active rules
- boundary detection
- vehicle detection
- fall detection
- data mining
- computational cost
- specification language
- preprocessing
- concurrent systems
- video sequences