Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems

Project Details

Short titleDesign and Verification of Time-Critical Byzantine Fault-Tolerant Systems
StatusActive
Effective start/end date1/04/2331/03/26

Funding

  • Engineering & Physical Science Research Council