Certificates for Parameterized Model Checking.

Sylvain Conchon, Alain Mebsout, Fatiha Zadi

Browse the full FM paper archive.