Tag Archives: Ada 2012

GNATprove Distinguished at VerifyThis Competition

I participated last week in the VerifyThis Verification Competition, which took place on Thursday afternoon during the Formal Methods 2012 conference in Paris. The goal was to apply verification tools to three small challenge programs, to compare approaches and learn from each other’s tools.

I used Ada 2012 as a programming and specification language (using preconditions [...]

Posted in Events | Also tagged , , , | 1 Comment
  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org