Project: Automated support for calculational reasoning
01-OCT-03 – 30-SEP-05
In calculational logic, reasoning stpes are lined together by relational operators in an algebraic style. At the moment, there is no automated support available for this kind of reasoning. The project aims to give insight in the way calculational reasonin gcan be supported by automated tools, and to develop an initial system suitable for practical use.