Mikhail R. Gadelha

Identifiers

• name variant Mikhail R. Gadelha 0.50 · backfill

Papers (3)

1. Boost the Impact of Continuous Formal Verification in Industry cs.SE · 2019 · author #2
2. Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space cs.LO · 2019 · author #1
3. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Lucas C. Cordeiro 3 shared papers
• Denis A. Nicole 2 shared papers
• Enrico Steffinlongo 2 shared papers
• Felipe R. Monteiro 2 shared papers
• Bernd Fischer 1 shared papers