Automatic Verification of Randomized Distributed Algorithms

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleAutomatic Verification of Randomized Distributed Algorithms
StatusFinished
Effective start/end date1/09/9831/08/01

Funding

  • Engineering & Physical Science Research Council