Program Verification By Calculating Relations
by
Jacques Carette Ryszard
BibTeX
@MISC{Ryszard_programverification,
author = {Jacques Carette Ryszard},
title = {Program Verification By Calculating Relations},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show how properties of an interesting class of imperative programs can be verifed by means of relational modelling and symbolic computation.
