A presentation by Yannick Moy, Senior Engineer, AdaCore, at a recent talk at IRILL Days 2010. Video courtesy of IRILL (http://www.irill.org)
Categories
Open-DO Projects
Contact
info @ open-do.org
Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof
This entry was posted in Open-DO News, Videos. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.