Skip to main content

Goedel Team Update

· One min read
James Chapman
James Chapman
Head of Formal Methods

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