CLAY – An Environment for Live Construction of Trustworthy Software
03/07/2016 – 02/07/2019
Principal Investigator NOVA.id.FCT/FCT-UNL:
Pedro M. Costa
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.