Jorge A. Navas
Author
Alternate names J. Navas, Jorge A. Navas, Jorge Navas
Institution Research and Studies Telecommunications Centre
Past institutions SRI International, Menlo School, Research and Studies Telecommunications Centre, Ames Research Center, The University of Melbourne +4 more
ORCID: Yes
H-index: 20
I10-index: 26
Works count: 96
Citations count: 1,368
The SeaHorn Verification Framework
2015 · Arie Gurfinkel, Temesghen Kahsai, et al. · Lecture notes in computer science
TRACER: A Symbolic Execution Tool for Verification
2012 · Joxan Jaffar, Vijayaraghavan Murali, et al. · Lecture notes in computer science
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
2008 · Mario Méndez-Lojo, Jorge A. Navas, et al. · Lecture notes in computer science