Skip to main navigation Skip to search Skip to main content

Automated Verification of Probabilistics Protocols with PRISM

  • Kwiatkowska, Marta (Principal Investigator)
  • Theodoropoulos, Georgios (Co-Investigator)

Project Details

Short titleAutomated Verification of Probabilistics Protocols with PRISM
StatusFinished
Effective start/end date1/04/03 → 31/03/06

Funding

  • Engineering & Physical Science Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint

  • Evaluating the reliability of NAND multiplexing with PRISM

    Norman, G., Parker, D., Kwiatkowska, M. & Shukla, S., 1 Jan 2005, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 10, p. 1629-1637 9 p.

    Research output: Contribution to journal › Article

    68 Citations (Scopus)