A Verification Platform for SDN-Enabled Applications.
Richard SkowyraAndrei LapetsAzer BestavrosAssaf J. KfouryPublished in: IC2E (2014)
Keyphrases
- process algebra
- real time
- concurrent systems
- face verification
- fingerprint verification
- information technology
- test generation
- communication protocol
- formal verification
- formal methods
- false acceptance rate
- asynchronous circuits
- formal analysis
- face detection
- low cost
- video sequences
- decision making
- learning algorithm
- genetic algorithm
- databases