1. 7
    Practical, low-effort, equivalence verification for real code (2011) ☶ pdf c formalmethods pgbovine.net
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

Uses new tool, UC-KLEE, that builds on prior one I submitted here:

https://lobste.rs/s/fzzbm0/klee_unassisted_automatic_generation

  1.