PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
L-CMP: an automatic learning-based parameterized verification tool
Date de publication/diffusion :
2018
Nom de la manifestation :
33rd ACM/IEEE International Conference on Automated Software Engineering
Date de la manifestation :
2018
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
