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
This sprint the team has been working on final drafts of two papers for internal review and planning next steps of analysis of consensus design refiniments.
Details
Preparing final draft of DeltaQSD algebra paper for internal review
Preparing final draft of verifying design refinements for distributed system design for internal review
Planning next phase of consensus design refinement analysis