Learning to prove safety over parameterised concurrent systems.

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rmmer

Browse the full FMCAD paper archive.