1. 1
    Model-Checking an Entire Linux Distribution for Security Vulnerabilities (2005) ☶ pdf formalmethods linux security people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Uses MOPS.