vcc

1 Entry

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
    Michal Moskal - VCC, The Verifying C Compiler
    Peli at RiSE Jan 30, 2009 at 2:25 AM Comments 0

    Avg Rating: 5

    (3)
    Michal Moskal gives us a short introduction at the Verifying C Compiler (VCC) project. VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type…
Creative Commons License

© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.