From 3f73c9aa008a315d6271facc896c9da12a6bb4ab Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 1 May 2022 18:27:44 +0100 Subject: Add another todo --- content.org | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'content.org') 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 -- cgit