Denis A. Nicole | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Bernd Fischer
3 publications
Felipe R. Monteiro
3 publications
Enrico Steffinlongo
2 publications
Mikhail Y. R. Gadelha
1 publication

research

∙ 04/27/2020

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs

We describe a new SMT bit-blasting API for floating-points and evaluate ...

0 Mikhail R. Gadelha, et al. ∙

research

∙ 04/04/2019

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space

We describe and evaluate a novel k-induction proof rule called bidirecti...

0 Mikhail R. Gadelha, et al. ∙

research

∙ 10/29/2018

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

We describe and evaluate a bug refutation extension for the Clang Static...

0 Mikhail R. Gadelha, et al. ∙

research

∙ 06/07/2017

Counterexample-Guided k-Induction Verification for Fast Bug Detection

Recently, the k-induction algorithm has proven to be a successful approa...

0 Mikhail Y. R. Gadelha, et al. ∙