Reachability Modulo Theory Library.

Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina

Browse the full CADE paper archive.