Visual Specifications of Policies and Their Verification.
Manuel KochFrancesco Parisi-PresiccePublished in: FASE (2003)
Keyphrases
- automated verification
- formal verification
- concurrent systems
- model checking
- optimal policy
- asynchronous circuits
- visual perception
- visual information
- high level
- real time
- human vision
- bounded model checking
- visual features
- low level
- visual data
- delay insensitive
- face verification
- signature verification
- operational semantics
- model checker
- database
- protocol specification
- formal specification
- visual search
- petri net
- object recognition
- neural network