Using Hoare logic in a process algebra setting

J. A. Bergstra, C. A. Middelburg

This paper concerns the relation between process algebra and Hoare logic. We investigate the question whether and how a Hoare logic can be used for reasoning about how data change…