Herbert Rocha

Identifiers

• name variant Herbert Rocha 0.60 · backfill

Papers (2)

1. Model Checking Embedded C Software using k-Induction and Invariants (extended version) cs.LO · 2015 · author #1
2. Model Checking C Programs with Loops via k-Induction and Invariants cs.LO · 2015 · author #1

Mentions

• 1509.02471 #1 · backfill · confidence 0.70 Herbert Rocha
• 1502.02327 #1 · backfill · confidence 0.70 Herbert Rocha

Frequent Coauthors

• Hussama Ismail 2 shared papers
• Lucas Cordeiro 2 shared papers
• Raimundo Barreto 2 shared papers