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 ...
share
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...
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...
research
∙
06/07/2017