The following pages link to Joe Hurd (Q1400287):
Displayed 13 items.
- Verification of the Miller-Rabin probabilistic primality test. (Q1400288) (← links)
- Probabilistic guarded commands mechanized in HOL (Q2576950) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Congruence classes with logic variables (Q2708308) (← links)
- (Q2849848) (← links)
- Standalone Tactics Using OpenTheory (Q2914758) (← links)
- Proof Pearl: The Termination Analysis of Terminator (Q3523172) (← links)
- Applications of Polytypism in Theorem Proving (Q3559762) (← links)
- (Q4484343) (← links)
- (Q4790665) (← links)
- (Q4809048) (← links)
- Functional Correctness Proofs of Encryption Algorithms (Q5387863) (← links)
- Correct Hardware Design and Verification Methods (Q5897068) (← links)