Automated Verification of Probabilistics Protocols with PRISM

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

Computer Science

1 Article

1 results

Filter

2005
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)