1. 7
    ZetZ - a symbolic verifier and transpiler to bare metal C c compilers formalmethods plt github.com
    jado avatar via jado 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 2
    sanxiyn avatar sanxiyn 2 years ago | link

    Previous discussion here.