16 March update for Goedel (#129)

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