aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/security/verification
diff options
context:
space:
mode:
authorEduardo Julian2022-08-17 02:54:41 -0400
committerEduardo Julian2022-08-17 02:54:41 -0400
commit261172e7a4cff7b9978eec4c0d32e963cbe7486e (patch)
treebf3c79319eef3bda7e1efe6612e3d6ea546e1e85 /documentation/bookmark/security/verification
parent0f9bc13a34b729d9ae9db31276feb2a66785d06b (diff)
Proper testing for debug.log!
Diffstat (limited to 'documentation/bookmark/security/verification')
-rw-r--r--documentation/bookmark/security/verification/formal.md2
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)