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 (Int. J. Softw. Tools Technol. Transf., 2012)