On Benchmarking for Concurrent Runtime Verification.

Luca Aceto Duncan Paul Attard Adrian Francalanza Anna Ingólfsdóttir

Published in: FASE (2021)

Keyphrases

model checking
formal verification
runtime environment
databases
face verification
signature verification
artificial intelligence
data structure
expert systems
evolutionary algorithm
formal methods
parallel computation
test generation
concurrent systems