May Session -- CRUX MIR
Автор: Rust Formal Methods IG
Загружено: 2022-06-03
Просмотров: 195
crux-mir is a symbolic testing tool for Rust. The user writes test cases using symbolic variables as inputs; crux-mir uses symbolic execution to check that the tests pass for all possible values of the symbolic variables. crux-mir checks for absence of panics, overflows, and some forms of undefined behavior, and it supports user-defined assertions. Recently, crux-mir gained support for calling Cryptol specifications directly from Rust code and for compositional reasoning, which allows efficiently verifying more complex functions, such as Rust implementations of cryptographic primitives.
--
The RFMIG is a community run group discussing and promoting the use and development of formal methods tooling in the Rust ecosystem, you can find us:
On Zulip: https://rust-lang.zulipchat.com/#narr...
On Twitter: / formalferris
Or here, on youtube!
See you next time!
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[ESP] Lecture WS 2024/25](https://ricktube.ru/thumbnail/PL5g0KN26yKZb6nwp1-5u4cuMXOn2nNH8B/mqdefault.jpg)
