From e7a66daaa8a9b237d3cadccdb8be1f08ada6d564 Mon Sep 17 00:00:00 2001 From: James Chapman Date: Thu, 24 Aug 2023 09:57:34 +0100 Subject: [PATCH] Goedel update 2023-08-18 * W/H/P * J/J --- blog/2023-08-18-goedel.md | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 blog/2023-08-18-goedel.md diff --git a/blog/2023-08-18-goedel.md b/blog/2023-08-18-goedel.md new file mode 100644 index 0000000000..6d591bf0e1 --- /dev/null +++ b/blog/2023-08-18-goedel.md @@ -0,0 +1,35 @@ +--- +title: Goedel Team Update +slug: 2023-08-18-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 + +The team is currently formalising mini protocols and also further +developing the performance modelling prototype. + +## Details + + +* Development of an automated prover for showing conformance of + programs to state machines (as part of the mini-protocol framework) + +* Completion of the documentation of the (current state of the) + mini-protocol framework + +* Discussion about two DeltaQ lectures with two practical sessions as part + of 4th year masters course on distributed systemsby colleagues at UC + Louvain in the Autumn + +* Discussion about four DeltaQ lectures by colleagues at U. Bergen as part + of a 5th year Masters course in the Autumn + +* Adapted original DeltaQ implementation to the new typeclasses and + wrote property tests for its algebraic laws \ No newline at end of file