Denis A. Nicole

Identifiers

No identifiers captured yet.

Papers (3)

1. Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space cs.LO · 2019 · author #5
2. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer cs.LO · 2018 · author #5
3. Counterexample-Guided k-Induction Verification for Fast Bug Detection cs.PL · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Lucas C. Cordeiro 3 shared papers
• Enrico Steffinlongo 2 shared papers
• Mikhail R. Gadelha 2 shared papers
• Bernd Fischer 1 shared papers
• Felipe R. Monteiro 1 shared papers
• Mikhail Y. R. Gadelha 1 shared papers