Author:Paolo Arcaini

Publications

Keyphrases

Abstract State Machines, competition, falsification2, Friendly Competition, hybrid systems2, refinement proof, runtime verification, simulation2, SMT solver, temporal logic2, Yices.