model-checking.github.io: 7 stories from 6 submitters

  1. 5
    Using Kani to Validate Security Boundaries in AWS Firecracker formalmethods rust security virtualization model-checking.github.io
    5d22b avatar via 5d22b 19 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 3
    How s2n-quic uses Kani to inspire confidence formalmethods rust testing model-checking.github.io
    camshaft avatar via camshaft 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 3
    Writing Code with ChatGPT? Improve it with Kani ai formalmethods rust model-checking.github.io
    5d22b avatar via 5d22b 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 13
    How Kani helped find bugs in Hifitime formalmethods rust science testing model-checking.github.io
    xionbox avatar authored by xionbox 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 12
    From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework formalmethods testing model-checking.github.io
    itamarst avatar via itamarst 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  6. 4
    Using the Kani Rust Verifier on a Firecracker Example formalmethods rust model-checking.github.io
    matklad avatar via matklad 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 4
    Using the Kani Rust Verifier on a Rust Standard Library CVE formalmethods rust model-checking.github.io
    adaszko avatar via adaszko 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments