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 also further developing the performance modelling prototype.
Details
finalising a presenting performance analysis internship work to the formal methods team
developed a new Isabelle mini-protocol framework and examples
planning an extended version of the ICE DeltaQ paper
working on algebraic rules for properisation of any-to-finish