1. 14
    Formally Proven Binary Format Parsers pdf formalmethods fstar-lang.org
    azhenley avatar via azhenley 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 2
    icefox avatar icefox 7 months ago | link

    Now I’m curious to have the results fuzzed and see how well they work in practice.