MayPar system has been developed by Antonio Flores-Montoya with the collaboration of Elvira Albert, Samir Genaim.
Publications:
-
[1] Elvira Albert, Antonio Flores-Montoya, and Samir Genaim. Analysis of may-happen-in-parallel in concurrent objects. In Holger Giese and Grigore Rosu, editors, Formal Techniques for Distributed Systems, volume 7273 of Lecture Notes in Computer Science, pages 35-51. Springer Berlin / Heidelberg, 2012. [ abstract | DOI | http ] MayPar is funded in part by the Information & Communication Technologies program of the European Commission, Future and Emerging Technologies (FET), under the ICT-231620 HATS project, by the Spanish Ministry of Science and Innovation (MICINN) under the TIN-2008-05624 and PRI-AIBDE-2011-0900 projects, by UCM-BSCH-GR35/10-A-910502 grant and by the Madrid Regional Government under the S2009TIC-1465 PROMETIDOS-CM project.
-
HATS, (Highly Adaptable and Trustworthy Software using Formal Methods) code IST-231620.
PROMETIDOS-CM (Jan. 2010 - Dec. 2013) [CAM S2009TIC-1465]
"Madrid Program in Rigorous Methods for the Development of Software"
(Programa en metodos rigurosos para el desarrollo de software de la Comunidad de Madrid)
-