INTRODUCTION

The following sections are included:

• Motivation for a New Approach

• The Reasoning Language

• The Approach through Examples

• The Formal Characterisation of Correctness