Joe Leslie-Hurd
Joe Leslie-Hurd
Intel Corp.
Vahvistettu sähköpostiosoite verkkotunnuksessa gilith.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Formal verification of probabilistic algorithms
J Hurd
University of Cambridge, Computer Laboratory, 2003
1842003
First-order proof tactics in higher-order logic theorem provers
J Hurd
Design and Application of Strategies/Tactics in Higher Order Logics, number …, 2003
1672003
Probabilistic guarded commands mechanized in HOL
J Hurd, A McIver, C Morgan
Theoretical Computer Science 346 (1), 96-112, 2005
1042005
The OpenTheory standard theory library
J Hurd
NASA Formal Methods Symposium, 177-191, 2011
832011
Integrating Gandalf and HOL
J Hurd
Theorem Proving in Higher Order Logics, 839-839, 1999
831999
Verification of the Miller–Rabin probabilistic primality test
J Hurd
The Journal of Logic and Algebraic Programming 56 (1-2), 3-21, 2003
612003
An LCF-style interface between HOL and first-order logic
J Hurd
International Conference on Automated Deduction, 134-138, 2002
582002
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
452003
A formal approach to probabilistic termination
J Hurd
International Conference on Theorem Proving in Higher Order Logics, 230-245, 2002
312002
Functional correctness proofs of encryption algorithms
J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang
International Conference on Logic for Programming Artificial Intelligence …, 2005
282005
OpenTheory: Package management for higher order logic theories
J Hurd
PLMMS 9, 31-37, 2009
212009
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
J Hurd, T Melham
Springer, 2005
212005
Applications of polytypism in theorem proving
K Slind, J Hurd
International Conference on Theorem Proving in Higher Order Logics, 103-119, 2003
152003
Predicate subtyping with predicate sets
J Hurd
International Conference on Theorem Proving in Higher Order Logics, 265-280, 2001
152001
System description: The Metis proof tactic
J Hurd
Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL …, 2005
132005
Formal verification of chess endgame databases
J Hurd
Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, 85, 2005
132005
Formalized elliptic curve cryptography
J Hurd, M Gordon, A Fox
High confidence software and systems: HCSS, 2006
122006
Standalone tactics using OpenTheory
R Kumar, J Hurd
International Conference on Interactive Theorem Proving, 405-411, 2012
92012
Composable Packages for Higher Order Logic Theories.
J Hurd
VERIFY@ IJCAR, 79-93, 2010
82010
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
82009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20