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