home.social

#compcert — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #compcert, aggregated by home.social.

  1. ✯ CyberguerrillⒶ ✯ #ICC @[email protected] ·

    Can You Trust Your C Compiler? hackaday.com/2019/01/24/can-yo
    #CgAn
    #ICC
    #ccompiler #compcert #formalverification

    #formalverification #compcert #ccompiler #icc #cgan