Mike Gordon

Publication Activity (10 Years)

Years Active: 1995-2008
Publications (10 Years): 0

Publications

Mike Gordon
Twenty Years of Theorem Proving for HOLs Past, Present and Future. TPHOLs (2008)
Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon
Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects Comput. 19 (3) (2007)
Thomas Tuerk, Klaus Schneider, Mike Gordon
Model Checking PSL Using HOL and SMV. Haifa Verification Conference (2006)
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind
Automatic Formal Synthesis of Hardware from Higher Order Logic. Electron. Notes Theor. Comput. Sci. 145 (2006)
Mike Gordon
From LCF to HOL: a short history. Proof, Language, and Interaction (2000)
Jonathan P. Bowen, Mike Gordon
A shallow embedding of Z in HOL. Inf. Softw. Technol. 37 (5-6) (1995)