Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof

A presentation by Yannick Moy, Senior Engineer, AdaCore, at a recent talk at IRILL Days 2010. Video courtesy of IRILL (http://www.irill.org)

More on Hi-Lite…

This entry was posted in Open-DO News, Videos. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

Post a Comment

Your email is never published nor shared. Required fields are marked *

  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org