Author:Paolo Arcaini

Publications

Keyphrases

Abstract State Machines, Benchmarking3, competition, Cyber-Physical Systems3, evaluation3, falsification5, Friendly Competition4, hybrid systems2, refinement proof, runtime verification, simulation2, SMT solver, temporal logic2, Yices.