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 working on formalising mini protocols, the performance modelling prototype and also finishing off their ICE papers.
Details
Formalization of the chain synchronization mini-protocol in the thorn calculus
Final pre-publication steps for ICE 2023 papers
Developing approach for specification and verification of mini-protocols
Started work on porting the DeltaQ framework to a new, more concrete backend based on piecewise-polynomials