formal.md « verification « security « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/security/verification/formal.md

blob: ed59c673a4c733eda6a041aa5062ba4a47bcd3df (plain)

# Reference

0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf)