Learning to prove safety over parameterised concurrent systems

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer. Learning to prove safety over parameterised concurrent systems. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 76-83, IEEE, 2017. [doi]

Abstract

Abstract is missing.