Peter V. Homeier

According to our database, Peter V. Homeier authored at least 7 papers between 1994 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

The HOL-Omega Logic.

Peter V. Homeier

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2005

A Design Structure for Higher Order Quotients.

Peter V. Homeier

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2003

Secure mechanical verification of mutually recursive procedures.

Peter V. Homeier, David F. Martin

Inf. Comput., 2003

1998

Mechanical Verification of Total Correctness through Diversion Verification Conditions.

Peter V. Homeier, David F. Martin

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1996

Mechanical Verification of Mutually Recursive Procedures.

Peter V. Homeier, David F. Martin

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

A Mechanically Verified Verification Condition Generator.

Peter V. Homeier, David F. Martin

Comput. J., 1995

1994

Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.

Peter V. Homeier, David F. Martin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994