( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TRACER: A Symbolic Execution Tool for Verification.

, , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 758-766. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jorge Francisco Azofeifa-Navas

Juan Navas

Jorge A Portocarrero Quispe

Gilberto Navas

Byron Navas

 

Другие публикации лиц с тем же именем

A Study of Set-Sharing Analysis via Clique., , и . WLPE, стр. 31-45. (2005)Boosting concolic testing via interpolation., , и . ESEC/SIGSOFT FSE, стр. 48-58. ACM, (2013)Abstract Interpretation of LLVM with a Region-Based Memory Model., и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 122-144. Springer, (2021)Path-Sensitive Backward Slicing., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Verification of Fault-Tolerant Protocols with Sally., , и . NFM, том 10811 из Lecture Notes in Computer Science, стр. 113-120. Springer, (2018)Unbounded Symbolic Execution for Program Verification., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 154-168. Springer, (2007)Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code., , , и . APLAS, том 7705 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2012)Dissecting Widening: Separating Termination from Information., , , , и . APLAS, том 11893 из Lecture Notes in Computer Science, стр. 95-114. Springer, (2019)A Fresh Look at Zones and Octagons., , , , , и . ACM Trans. Program. Lang. Syst., 43 (3): 11:1-11:51 (2021)