Author:Paolo Arcaini

Publications

Keyphrases

Abstract State Machines, Benchmarking2, competition, Cyber-Physical Systems2, evaluation2, falsification4, Friendly Competition3, hybrid systems2, refinement proof, runtime verification, simulation2, SMT solver, temporal logic2, Yices.