Development Log

  • Introducing the CVC4 SMT solver - AdaCore internal seminar

    AdaCore Internal Seminar - Monday November 19, 2012.

    François Bobot of the ProVal team at INRIA, will come to the AdaCore Paris offices to give an introduction to the CVC4 SMT solver.

    AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to