Publication date: 1 de June, 2021

Unifying Correctness for Communicating Software

Modern life depends on large software systems based on communication. Different programming techniques already help developers to produce error-free communicating software; unfortunately we know little about how these techniques relate to and complement each other. This project will discover the fundamental connections between these techniques and validate them in practice.

Funding Total 800000
Funding Center 800000
State Concluded
Startdate 01/01/2019
Enddate 31/12/2023