Peter V. Homeier

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

Peter V. Homeier
The HOL-Omega Logic. TPHOLs (2009)
Peter V. Homeier
A Design Structure for Higher Order Quotients. TPHOLs (2005)
Peter V. Homeier, David F. Martin
Secure mechanical verification of mutually recursive procedures. Inf. Comput. 187 (1) (2003)
Peter V. Homeier, David F. Martin
Mechanical Verification of Total Correctness through Diversion Verification Conditions. TPHOLs (1998)
Peter V. Homeier, David F. Martin
Mechanical Verification of Mutually Recursive Procedures. CADE (1996)
Peter V. Homeier, David F. Martin
A Mechanically Verified Verification Condition Generator. Comput. J. 38 (2) (1995)
Peter V. Homeier, David F. Martin
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. TPHOLs (1994)