Project: Automated support for calculational reasoning
01-OCT-04 – 30-SEP-08
In calculational logic, reasoning steps are linked together by relational operators in an algebraic style. At the moment, there i sno automated support available for this kind of reasoning. The project aims to give insight in the way calculational reasoning can be supported by automated tools, ande to develop an initial system suitable for practical use.