Dependency graphs with applications to verification.

Søren Enevoldsen Kim G. Larsen Anders Mariegaard Jirí Srba

Published in: Int. J. Softw. Tools Technol. Transf. (2020)

Keyphrases

dependency graphs
dependency graph
model checking
learning algorithm
person identification
verification method
concurrent systems
expert systems
evolutionary algorithm
multiresolution
petri net
database
face verification
fingerprint verification
genetic algorithm
asynchronous circuits
information retrieval