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.