Verification condition generation via theorem proving
The work
| Title | Verification condition generation via theorem proving |
|---|---|
| Authors | John Matthews; J. Strother Moore; Sandip Ray; Daron Vroon |
| Type | conference paper |
| Year | 2006 |
| Citekey | matthews2006verification |
Where it appeared
| Published in | 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) |
|---|---|
| Publisher | Springer |
| Volume | 4246 |
| Pages | 362--376 |
Copy held
| Kind | PDF, 241.7 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@inproceedings{matthews2006verification,
title = {Verification condition generation via theorem proving},
author = {John Matthews and J. Strother Moore and Sandip Ray and Daron Vroon},
year = {2006},
booktitle = {13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)},
volume = {4246},
pages = {362--376},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/matthews2006verification/ and will keep doing so.