Third International Competition on Runtime Verification - CRV 2016.

Giles Reger Sylvain Hallé Yliès Falcone

Published in: RV (2016)

Keyphrases

international competition
model checking
formal verification
asynchronous circuits
high security
artificial intelligence
decision trees
database systems
multiscale
functional verification
robocup rescue