The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
The team is currently formalising mini protocols, working on a performance modelling paper and working on a performance modelling prototype tool
completing work on chain sync mini-protocol
proof sketch of conformance property of chain sync mini-protocol
new content for JLAMP paper
NWPT talk
The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
The team is currently formalising mini protocols and working on a performance modelling paper
completing work on chain sync mini-protocol
proof sketch of conformance property of chain sync mini-protocol
onboarding new performance modelling intern
new content for JLAMP paper
The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
The team is currently formalising mini protocols and working on a performance modelling paper
completing work on chain sync mini-protocol
specifying correctness property of chain sync mini-protocol
creating diagrams for JLAMP paper
finalising structure of JLAMP paper
The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
The team is currently formalising mini protocols and writing a paper on performance modelling
completing work on chain sync mini-protocol
outline for JLAMP journal paper submission
analysing timeouts
The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
The team is currently formalising mini protocols and testing the performance analysis tool
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