Author:Angelo Gargantini

Keyphrases

Abstract State Machines, Bayesian inference, model-based testing, probabilistic systems, refinement proof, runtime verification, service-based systems, SMT solver, uncertainty quantification, Yices.