From 1b754805d6984f2891a215a7123ae63db0b0061a Mon Sep 17 00:00:00 2001 From: James Chapman Date: Fri, 17 Mar 2023 09:21:16 +0000 Subject: [PATCH] 16 March update for Goedel (#129) --- blog/2023-03-16-goedel.md | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 blog/2023-03-16-goedel.md diff --git a/blog/2023-03-16-goedel.md b/blog/2023-03-16-goedel.md new file mode 100644 index 0000000000..08e5eef8b3 --- /dev/null +++ b/blog/2023-03-16-goedel.md @@ -0,0 +1,30 @@ +--- +title: Goedel Team Update +slug: 2023-03-16-goedel +authors: jmchapman +tags: [goedel] +hide_table_of_contents: false +--- + +The team works on applied research and consulting in formal methods +that is directly applicable to evidence based engineering in Core Tech +and beyond. + +## High level summary + +This sprint the team has been working on drafts of two papers +improving the deltaQ tutorial, consulting on performance design, and +the final version of the Djed paper. + +## Details + +* Preparing draft of DeltaQSD algebra paper for ICE 2023 + +* Successful outcome of Marlowe consultancy leading to substantial + improvement in performance + +* Preparing sections on the communication language and bisimulation + proofs for draft paper about verifying design refinements for + distributed system design + +* Camera ready version of Djed paper under preparation