El Natural Science Research Council (FNU) de Dinamarca financiará durante 3 años (2011-2013) el proyecto “NUSA: Numerical and Symbolic Abstractions for Software Model Checking” liderado por John Gallagher.
El proyecto financia la colaboración entre Roskilde University y el Instituto IMDEA Software, así como con Ben-Gurion University de Israel, IRISA/Univ. Rennes de Francia y K.U. Leuven de Bélgica.
