Coinduction for semantics, analysis and verification of communicating and concurrent reactive software

This was a research project within the Estonian national ICT programme. It was run by the Institute of Cybernetics at TUT in partnership with the University of Tartu from 1 March 2013 to 31 August 2015, extended until 30 November 2015.

Ours was one of the 14 projects nationwide receiving EU structural assistance from the European Regional Development Fund within the Measure for supporting R&D in ICT (Measure 3.2.12) of the Operational programme for the development of the economic environment of the Estonian national system for the implementation of the EU Structural Funds 2007-2013.

The measure was administered by the Estonian Ministry of Education and Research and the Archimedes Foundation.

Research programme

We studied the following topics:


Project staff at IoC:

Project staff at U. of Tartu:

External collaborators:

Project meetings



See this summary.

Tarmo Uustalu
Last update 3 December 2015