Compositional nonblocking verification using annotated automata.
Simon WareRobi MalikPublished in: WODES (2010)
Keyphrases
- model checking
- cellular automata
- finite state
- formal verification
- face verification
- verification method
- finite automata
- regular expressions
- timed automata
- signature verification
- temporal logic
- manually annotated
- hidden markov models
- xml documents
- learning algorithm
- finite state automata
- annotated corpus
- neural network
- multimodal biometrics
- data sets