Development Log

  • GNATcoverage
    Sep 9th, 2008

    Boosting coverage

    In an article, recently published in New Electronics entitled "Boosting coverage", Matteo Bordin looks at how process and new virtualization technology, being developed under the Coverage Project, will be used to ease the burden of carrying out effective coverage analysis on code.

    To read the article, please click here or visit:

    http://fplreflib.findlay.co.uk/articles/15269/Boosting%20coverage.pdf