diff options
| author | Eduardo Julian | 2022-08-17 02:54:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-17 02:54:41 -0400 |
| commit | 261172e7a4cff7b9978eec4c0d32e963cbe7486e (patch) | |
| tree | bf3c79319eef3bda7e1efe6612e3d6ea546e1e85 /documentation/bookmark/security/verification | |
| parent | 0f9bc13a34b729d9ae9db31276feb2a66785d06b (diff) | |
Proper testing for debug.log!
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) |