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
extending thorn-calculus to support synchronous channels
extending mini-protocol framework to support communication with the environment
working on chain sync mini-protocol
planning for JLAMP journal paper submission
analysying any-to-finish