Search the dblp DataBase

Publications of Author

1. Thomas Tuerk, Klaus Schneider, Mike Gordon
   Model Checking PSL Using HOL and SMV. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2006, pp:1-15 [Conf]
   
2. Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind
   Automatic Formal Synthesis of Hardware from Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:27-43 [Journal]
   
3. Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon
   Proof producing synthesis of arithmetic and cryptographic hardware. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:3, pp:343-362 [Journal]
   
4. 
   From LCF to HOL: a short history. [Citation Graph (, )][DBLP]
   
   
5. 
   Twenty Years of Theorem Proving for HOLs Past, Present and Future. [Citation Graph (, )][DBLP]