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
drafting processs calculus semantics of mini protocol programs
testing the new performance modelling tool
further work on specification of mini protocols
extension of mini protocol framework to support communication of programs with local environments via synchronous channels