The COSTABS system is a collaborative effort of a number of people, including:

Core Contributors: Elvira Albert, Puri Arenas, Jesús Correas Fernández, Antonio Flores Montoya, Samir Genaim, Miguel Gomez-Zamalloa, Raúl Gutiérrez, Enrique Martín Martín, German Puebla, Guillermo Román, Damiano Zanardini

Students: Israel Cabanas

COSTABS is funded by the Information Society Technologies (IST) program of the European Commission, Future and Emerging Technologies under the projects

• HATS,(Highly Adaptable and Trustworthy Software using Formal Methods) code IST-231620.