Parameterized verification.

Parosh Aziz Abdulla Giorgio Delzanno

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

Keyphrases

model checking
data sets
verification method
artificial intelligence
evolutionary algorithm
signature verification
image sequences
probabilistic model
test cases
face verification
formal methods
formal verification
asynchronous circuits