diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-01 18:27:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-01 18:27:44 +0100 |
commit | 3f73c9aa008a315d6271facc896c9da12a6bb4ab (patch) | |
tree | 1bdd8c27a8e44b80962496552a6259f121190144 /content.org | |
parent | ea4ad462e33384c8bbbddca523f138c6c181e7b6 (diff) | |
download | yannherklotz.com-3f73c9aa008a315d6271facc896c9da12a6bb4ab.tar.gz yannherklotz.com-3f73c9aa008a315d6271facc896c9da12a6bb4ab.zip |
Add another todo
Diffstat (limited to 'content.org')
-rw-r--r-- | content.org | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/content.org b/content.org index bbc3d27..2f5af0a 100644 --- a/content.org +++ b/content.org @@ -35,6 +35,11 @@ is located. Here you can find all my previous posts: +** TODO About the Promise of Performance from Formal Verification + +When one thinks about formal verification, one normally associates this with sacrificing performance +for an improvement in reliability. However, this does not necessarily have to be the case. In this +post I'll try and argue for why ** TODO Reasoning about :logic: :PROPERTIES: :EXPORT_DATE: 2022-02-22 |