Projects details

  • UNICOS - Unifying Correctness for Communicating Software
  • Jan 2019 - Dec 2023
  • 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.
  • PN
  • 800000
  • 800000
  • 1 Jan 2019
  • 31 Dec 2023