Selection of formal verification heuristics for parallel execution

Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes. Selection of formal verification heuristics for parallel execution. STTT, 14(1):95-108, 2012. [doi]

Abstract

Abstract is missing.