Model Checking mega-Regular Properties with Decoupled Search.

Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jrg Hoffmann

Browse the full CAV paper archive.