alcinnz
boosted
Verifying the #Rust Standard Library - Carolyn Zech, Amazon Web Services
https://invidious.nerdvpn.de/watch?v=8_lzVNs1uPk
(or YT: https://www.youtube.com/watch?v=8_lzVNs1uPk)
Carolyn is also a maintainer of #Kani, the Rust model checker.
She has been so supportive and kind during my struggles with HashMaps and Kani 馃ズ
https://github.com/model-checking/kani/issues/3965
Give her a follow:
https://github.com/carolynzech
#FormalVerification#FormalMethods #RustLang#Testing#SoftwareEngineering