Georgia Penido Safe

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Parallel Execution

Formal Verification

Data Partitioning

Top Venues

Int. J. Softw. Tools Technol. Transf.

Federal University of Minas Gerais, Brazil (PHD)

Education History

Federal University of Minas Gerais, Brazil

PHD

Publications

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