Introduction to the Integration of SMT-Solvers in Rodin

Introduction to the Integration of SMT-Solvers in Rodin

D. Deharbe, P. Fontaine, Y. Guyot, F. Voisin. Introduction to the Integration of SMT-Solvers in Rodin. 1st International Workshop about Sets and Tools (SETS 2014), Toulouse (France), June 3, 2014.