From 6282e3f8d5ae01ef417552f08636c5f8b11e885b Mon Sep 17 00:00:00 2001 From: James Chapman Date: Fri, 8 Dec 2023 07:56:56 +0000 Subject: [PATCH] =?UTF-8?q?2023-12-08=20G=C3=B6del=20update=20(#303)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 2023-10-13 * 2023-10-27 * 2023-11-10 * 2023-11-24 * 2023-12-08 * tool --- blog/2023-10-13-goedel.md | 29 +++++++++++++++++++++++++++++ blog/2023-10-27-goedel.md | 24 ++++++++++++++++++++++++ blog/2023-11-10-goedel.md | 26 ++++++++++++++++++++++++++ blog/2023-11-24-goedel.md | 26 ++++++++++++++++++++++++++ blog/2023-12-08-goedel.md | 27 +++++++++++++++++++++++++++ 5 files changed, 132 insertions(+) create mode 100644 blog/2023-10-13-goedel.md create mode 100644 blog/2023-10-27-goedel.md create mode 100644 blog/2023-11-10-goedel.md create mode 100644 blog/2023-11-24-goedel.md create mode 100644 blog/2023-12-08-goedel.md diff --git a/blog/2023-10-13-goedel.md b/blog/2023-10-13-goedel.md new file mode 100644 index 0000000000..21348b57b3 --- /dev/null +++ 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 \ No newline at end of file diff --git a/blog/2023-10-27-goedel.md b/blog/2023-10-27-goedel.md new file mode 100644 index 0000000000..0eefe46dcd --- /dev/null +++ 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 \ No newline at end of file diff --git a/blog/2023-11-10-goedel.md b/blog/2023-11-10-goedel.md new file mode 100644 index 0000000000..5aa5b4358e --- /dev/null +++ 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 new file mode 100644 index 0000000000..a5ee7ce3c0 --- /dev/null +++ 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 new file mode 100644 index 0000000000..a079e9aede --- /dev/null +++ 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 \ No newline at end of file