зеркало из
https://github.com/iharh/notes.git
synced 2025-10-30 05:06:05 +02:00
16 строки
1000 B
Plaintext
16 строки
1000 B
Plaintext
https://model-checking.github.io/kani/
|
|
https://github.com/model-checking/kani
|
|
|
|
https://model-checking.github.io/kani/kani-tutorial.html
|
|
|
|
2023
|
|
https://blog.logrocket.com/using-kani-write-validate-rust-code-chatgpt/
|
|
https://aws.amazon.com/ru/blogs/opensource/how-open-source-projects-are-using-kani-to-write-better-software-in-rust/
|
|
https://model-checking.github.io/kani-verifier-blog/2023/08/31/using-kani-to-validate-security-boundaries-in-aws-firecracker.html
|
|
https://model-checking.github.io/kani-verifier-blog/2023/03/31/how-kani-helped-find-bugs-in-hifitime.html
|
|
2022
|
|
https://model-checking.github.io/kani-verifier-blog/2022/12/21/easily-verify-your-rust-in-ci-with-kani.html
|
|
https://model-checking.github.io/kani-verifier-blog/2022/07/13/using-the-kani-rust-verifier-on-a-firecracker-example.html
|
|
https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html
|
|
https://github.com/model-checking/kani/tree/main/tests/cargo-kani/rectangle-example
|