Project: Automated support for calculational reasoning
- project duration
- 01-JAN-04 – 31-DEC-05
- In calculational logic, reasoning steps are linked together by relational operators in an algebraie 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 reasoning can be supported by automated tools, and to develop an initial system suitable for practical use.