documentation/bookmark/security/verification/formal.md


1
2
3
4
5
6

# Reference

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