| Formal verification of probabilistic algorithms J Hurd University of Cambridge, Computer Laboratory, 2003 | 196 | 2003 |
| First-order proof tactics in higher-order logic theorem provers J Hurd Design and Application of Strategies/Tactics in Higher Order Logics, number …, 2003 | 182 | 2003 |
| Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005 | 115 | 2005 |
| The OpenTheory standard theory library J Hurd NASA Formal Methods Symposium, 177-191, 2011 | 90 | 2011 |
| Integrating Gandalf and HOL J Hurd Theorem Proving in Higher Order Logics, 839-839, 1999 | 84 | 1999 |
| Verification of the Miller–Rabin probabilistic primality test J Hurd The Journal of Logic and Algebraic Programming 56 (1-2), 3-21, 2003 | 75 | 2003 |
| An LCF-style interface between HOL and first-order logic J Hurd International Conference on Automated Deduction, 134-138, 2002 | 63 | 2002 |
| Executing the formal semantics of the Accellera property specification language by mechanised theorem proving M Gordon, J Hurd, K Slind Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 45 | 2003 |
| A formal approach to probabilistic termination J Hurd International Conference on Theorem Proving in Higher Order Logics, 230-245, 2002 | 33 | 2002 |
| Functional correctness proofs of encryption algorithms J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 29 | 2005 |
| OpenTheory: Package management for higher order logic theories J Hurd PLMMS 9, 31-37, 2009 | 23 | 2009 |
| Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings J Hurd, T Melham Springer, 2005 | 20 | 2005 |
| Predicate subtyping with predicate sets J Hurd International Conference on Theorem Proving in Higher Order Logics, 265-280, 2001 | 19 | 2001 |
| Formal verification of chess endgame databases J Hurd Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, 85, 2005 | 16 | 2005 |
| Applications of polytypism in theorem proving K Slind, J Hurd International Conference on Theorem Proving in Higher Order Logics, 103-119, 2003 | 16 | 2003 |
| System description: The Metis proof tactic J Hurd Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL …, 2005 | 15 | 2005 |
| Formalized elliptic curve cryptography J Hurd, M Gordon, A Fox High confidence software and systems: HCSS, 2006 | 14 | 2006 |
| Lobster: A domain specific language for selinux policies J Hurd, M Carlsson, B Letner, P White Galois, Inc., Tech. Rep, 2008 | 12 | 2008 |
| Standalone tactics using OpenTheory R Kumar, J Hurd Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012 | 9 | 2012 |
| Policy DSL: high-level specifications of information flows for security policies J Hurd, M Carlsson, S Finne, B Letner, J Stanley, P White High confidence software and systems (HCSS), 2009 | 9 | 2009 |
Magnus Carlsson在 carlssonia.org 的电子邮件经过验证
