A Mechanically Verified Verification Condition Generator (1993)
by
Peter V. Homeier
,
David F. Martin
| Citations: | 16 - 2 self |
BibTeX
@MISC{Homeier93amechanically,
author = {Peter V. Homeier and David F. Martin},
title = { A Mechanically Verified Verification Condition Generator},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 202 | The Formal Semantics of Programming Languages: An Introduction - Winskel - 1993 |
| 7 | Partial Correctness� The Term�Wise Approach - Sokolowski� - 1984 |
| 2 | Reasoning with Inductively De�ned Relations in the HOL Theorem A Mechanically Verified Verification Condition Generator 11 Prover - Camilleri, Melham� - 1992 |
| 2 | Melham� A Package for Inductive Relation De�nitions in HOL - Melham |
| 1 | Agerholm 92� S. Agerholm� Mechanizing Program Veri�ca� tion in HOL - N - 1993 |
| 1 | Windley �eds - Levitt�, J - 1992 |
| 1 | Cook� Soundness and Completeness of an Axiom System for Program Veri�cation - A - 1978 |
| 1 | The ML Handbook� INRIA �1986�. Gordon 89 - Paulson�, Wadsworth� |
| 1 | Melham� Introduc� tion to HOL - Gordon, F - 1993 |
| 1 | Luckham� Automatic Program Veri�cation I� A Logical Basis and its Implementation - London�, C - 1975 |
