Author:Silvio Ghilardi

Publications
Acceleration-based safety decision procedure for programs with arrays Francesco Alberti, Silvio Ghilardi and Natasha Sharygina In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
From free algebras to proof bounds Silvio Ghilardi In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Reachability Modulo Theory Library Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise and Natasha Sharygina In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
MCMT in the Land of Parametrized Timed Automata Alessandro Carioni, Silvio Ghilardi and Silvio Ranise In:VERIFY-2010. 6th International Verification Workshop