Application of SMT solvers to hybrid system verification.

Alessandro Cimatti

Browse the full FMCAD paper archive.