Validation of Stochastic Systems: A Guide to Current Research
Preview
55. 56. 57. 58. 59. Joe Hurd. Verification of the Miller-Rabin probabilistic primality test. In R. Boulton and P. Jackson, editors, TPHOLs 2001: Supplemental Proceedings, number EDI-INF-RR-0046 in Informatics Report Series, pages 223 –238.