From f0b6d5aa8d4610b3e37df6b538a21fc3d82f69e0 Mon Sep 17 00:00:00 2001 From: jultty Date: Sat, 19 Apr 2025 00:53:56 -0300 Subject: [PATCH] New link: Revisiting an early critique of formal verification --- ...awrencecpaulson-revisiting-a-critique-of-verification.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 content/links/lawrencecpaulson-revisiting-a-critique-of-verification.md diff --git a/content/links/lawrencecpaulson-revisiting-a-critique-of-verification.md b/content/links/lawrencecpaulson-revisiting-a-critique-of-verification.md new file mode 100644 index 0000000..ca8136c --- /dev/null +++ b/content/links/lawrencecpaulson-revisiting-a-critique-of-verification.md @@ -0,0 +1,6 @@ ++++ +title = "Revisiting an early critique of formal verification" +date = 2025-04-19T00:53:46-03:00 +[extra] +url = "https://lawrencecpaulson.github.io/2025/03/14/revisiting_demillo.html" ++++