( en | de | ru )

 

Disambiguation of "Rocha, Herbert"

Author of the publication

copydeleteadd this publication to your clipboard
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).

, , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 360-364. (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Paula Suares Rocha

Nino Rocha

Jacqueline Rocha

Marcio Rocha

Erwin Rochau

 

Other publications of authors with the same name

JFORTES: Java Formal Unit TESt Generation., , , and . SBESC, page 16-23. IEEE Computer Society, (2016)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 360-364. (2017)Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction., , , , and . CoRR, (2021)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 437-441. Springer, (2018)Memory Management Test-Case Generation of C Programs Using Bounded Model Checking., , and . SEFM, volume 9276 of Lecture Notes in Computer Science, page 251-267. Springer, (2015)Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples., , , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 128-142. Springer, (2012)Model Checking Embedded C Software using k-Induction and Invariants (extended version)., , , and . CoRR, (2015)Model Checking C Programs with Loops via k-Induction and Invariants., , , and . CoRR, (2015)Verification and refutation of C programs based on k-induction and invariant inference., , , , and . Int. J. Softw. Tools Technol. Transf., 23 (2): 115-135 (2021)Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution)., , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 403-407. Springer, (2020)