Learning to prove safety over parameterised concurrent systems

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39301

Title:	Learning to prove safety over parameterised concurrent systems
Authors:	Yu-Fang Chen Chih-Duo Hong Philipp Rümmer Anthony Lin
Issue Date:	2017-10
Conference:	Formal Methods in Computer-Aided Design (FMCAD 2017) (Vienna, Austria)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39301
Appears in Collections:	資訊科學研究所

Show full item record

Check