diff options
Diffstat (limited to 'documentation/bookmark/security/verification')
-rw-r--r-- | documentation/bookmark/security/verification/formal.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/bookmark/security/verification/formal.md b/documentation/bookmark/security/verification/formal.md index ed59c673a..c2e450d7e 100644 --- a/documentation/bookmark/security/verification/formal.md +++ b/documentation/bookmark/security/verification/formal.md @@ -1,4 +1,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) |