Refinement-based verification of implementations of Stateflow charts.
Alvaro MiyazawaAna CavalcantiPublished in: Formal Aspects Comput. (2014)
Keyphrases
- verification method
- face verification
- computer vision
- model checking
- formal verification
- false acceptance
- real time
- false acceptance rate
- refinement operators
- asynchronous circuits
- fingerprint verification
- signature verification
- formal methods
- hidden markov models
- evolutionary algorithm
- multiscale
- feature extraction
- real world
- databases