2023-12-08 Gödel update (#303)

* 2023-10-13 * 2023-10-27 * 2023-11-10 * 2023-11-24 * 2023-12-08 * tool
IntersectMBO · Dec 8, 2023 · 6282e3f · 6282e3f
1 parent 6eccbf3
commit 6282e3f
Show file tree

Hide file tree

Showing 5 changed files with 132 additions and 0 deletions.
diff --git a/blog/2023-10-13-goedel.md b/blog/2023-10-13-goedel.md
@@ -0,0 +1,29 @@
+---
+title: Goedel Team Update
+slug: 2023-10-13-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 testing the
+performance analysis tool
+
+## Details
+
+* extending thorn-calculus to support synchronous channels
+
+* extending mini-protocol framework to support communication with the
+  environment
+
+* working on chain sync mini-protocol
+
+* planning for JLAMP journal paper submission
+
+* analysying any-to-finish
diff --git a/blog/2023-10-27-goedel.md b/blog/2023-10-27-goedel.md
@@ -0,0 +1,24 @@
+---
+title: Goedel Team Update
+slug: 2023-10-27-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 writing a paper
+on performance modelling
+
+## Details
+
+* completing work on chain sync mini-protocol
+
+* outline for JLAMP journal paper submission
+
+* analysing timeouts
diff --git a/blog/2023-11-10-goedel.md b/blog/2023-11-10-goedel.md
@@ -0,0 +1,26 @@
+---
+title: Goedel Team Update
+slug: 2023-11-10-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 working on a
+performance modelling paper
+
+## Details
+
+* completing work on chain sync mini-protocol
+
+* specifying correctness property of chain sync mini-protocol
+
+* creating diagrams for JLAMP paper
+
+* finalising structure of JLAMP paper
diff --git a/blog/2023-11-24-goedel.md b/blog/2023-11-24-goedel.md
@@ -0,0 +1,26 @@
+---
+title: Goedel Team Update
+slug: 2023-11-24-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 working on a
+performance modelling paper
+
+## Details
+
+* completing work on chain sync mini-protocol
+
+* proof sketch of conformance property of chain sync mini-protocol
+
+* onboarding new performance modelling intern
+
+* new content for JLAMP paper
diff --git a/blog/2023-12-08-goedel.md b/blog/2023-12-08-goedel.md
@@ -0,0 +1,27 @@
+---
+title: Goedel Team Update
+slug: 2023-12-08-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, working on a
+performance modelling paper and working on a performance modelling
+prototype tool
+
+## Details
+
+* completing work on chain sync mini-protocol
+
+* proof sketch of conformance property of chain sync mini-protocol
+
+* new content for JLAMP paper
+
+* NWPT talk