Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus.
Silvano Dal-ZilioBernard BerthomieuPublished in: CoRR (2015)
Keyphrases
- transition systems
- model checking
- concurrent systems
- real time
- process algebra
- temporal logic
- formal verification
- neural network
- modal logic
- face verification
- high speed
- model checker
- asynchronous circuits
- distributed systems
- development environment
- sensor fusion
- graphics hardware
- provably correct
- verification method
- query language
- information systems
- computer vision