Complutense Group on Program Analyis and Transformation
COSTA
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublications en collaboration avec des chercheurs de The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2)
2017
-
Proving termination through conditional termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
Compositional safety verification with Max-SMT
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015