1. 6
    ZetZ - a symbolic verifier and transpiler to bare metal C c compilers formalmethods plt github.com
    jado avatar via jado 6 months ago | cached | 1 comment

  1.  

  2. 2
    sanxiyn avatar sanxiyn 6 months ago | link

    Previous discussion here.