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

2006

pp. 151-156

November 28, 2006

Proceedings of the 15th IASTED International Conference on Applied Simulation and Modelling

Jacques Carette

Ryszard Janicki