| | Verifying Safety of Rust's CStr (model-checking.github.io) |
|
2 points by aw1621107 4 months ago | past
|
|
| | Function Contracts for Kani (model-checking.github.io) |
|
1 point by PaulHoule on Feb 11, 2024 | past
|
|
| | Function Contracts for Kani (model-checking.github.io) |
|
1 point by todsacerdoti on Feb 2, 2024 | past
|
|
| | Using Kani to Validate Security Boundaries in AWS Firecracker (model-checking.github.io) |
|
3 points by lukastyrychtr on Sept 9, 2023 | past
|
|
| | Validating Security Boundaries in AWS Firecracker (model-checking.github.io) |
|
4 points by sbt567 on Sept 2, 2023 | past
|
|
| | Turbocharging Rust Code Verification (model-checking.github.io) |
|
1 point by lukastyrychtr on Aug 11, 2023 | past
|
|
| | S2n-QUIC uses Kani to inspire confidence (model-checking.github.io) |
|
2 points by todsacerdoti on May 31, 2023 | past
|
|
| | Writing Code with ChatGPT? Improve It with Kani (model-checking.github.io) |
|
1 point by lukastyrychtr on May 6, 2023 | past
|
|
| | Kani helped find bugs in Hifitime (model-checking.github.io) |
|
4 points by agluszak on March 31, 2023 | past
|
|
| | From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework (model-checking.github.io) |
|
2 points by lukastyrychtr on Nov 4, 2022 | past
|
|
| | Using the Kani Rust Verifier on Tokio Bytes (model-checking.github.io) |
|
2 points by lukastyrychtr on Aug 19, 2022 | past
|
|
| | Using the Kani Rust Verifier on a Firecracker Example (model-checking.github.io) |
|
4 points by lukastyrychtr on July 16, 2022 | past
|
|
| | Using the Kani Rust Verifier on a Firecracker Example (model-checking.github.io) |
|
3 points by todsacerdoti on July 14, 2022 | past
|
|
| | Using the Kani Rust Verifier on a Rust Standard Library CVE (model-checking.github.io) |
|
2 points by lukastyrychtr on June 10, 2022 | past
|
|
| | Using the Kani Rust Verifier on a Rust Standard Library CVE (model-checking.github.io) |
|
5 points by timf on June 2, 2022 | past
|
|
| | The Kani Rust Verifier Project (model-checking.github.io) |
|
2 points by lukastyrychtr on May 16, 2022 | past
|
|
| | Kani Rust Verifier (model-checking.github.io) |
|
2 points by hasheddan on May 5, 2022 | past
|
|
| | The Kani Rust Verifier Project (model-checking.github.io) |
|
4 points by sankha93 on May 4, 2022 | past | 1 comment
|
|
| | Kani Rust Verifier – a bit-precise model-checker for Rust (model-checking.github.io) |
|
137 points by pabs3 on March 24, 2022 | past | 12 comments
|
|
