CLAY

Acronym: 
CLAY
Project Title: 
CLAY - An Environment for Live Construction of Trustworthy Software
Duration: 
03/07/2016 - 02/07/2019
Principal Investigator NOVA.id.FCT/FCT-UNL: 
Pedro M. Costa
Abstract: 

The CLAY project will develop a new programming model and development environment for the interactive construction and evolution of trustworthy software systems “as live artifacts”. Following a disruptive vision that raises exciting challenges to programming language design, incremental verification, and usability. (…) This project builds on a radically new vision to approach these familiar issues of software construction and evolution, and will rely on a series of solid foundational and technological contributions to prove the concept.