Conference
Program verification by calculating relations
Abstract
We show how properties of an interesting class of imperative programs can be verifed by means of relational modelling and symbolic computation.
Authors
Carette J; Janicki R; Yun Z
Volume
2006
Pagination
pp. 151-156
Publication Date
November 28, 2006
Conference proceedings
Proceedings of the 15th IASTED International Conference on Applied Simulation and Modelling