Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
A learning-based framework for automatic parameterized verification
Publication date :
2019
Event name :
37th International Conference on Computer Design (ICCD)
Event date :
2019
Audience :
International
Main work title :
Proceedings of the 37th International Conference on Computer Design (ICCD)