Verification Benchmarks.

Paolo A. G. Sivilotti

Published in: ACM SIGSOFT Softw. Eng. Notes (2018)

Keyphrases

model checking
signature verification
formal verification
information retrieval
evolutionary algorithm
databases
benchmark suite
real time
data sets
real world
genetic algorithm
information technology
asynchronous circuits