57 citations · 144 across the 48 of their papers we have counts for
3 papers · 1 filter
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro +2
We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we…
Automated Verification of Stand-alone Solar Photovoltaic Systems
Alessandro Trindade, Lucas Cordeiro
With declining costs and increasing performance, the deployment of renewable energy systems is growing faster. Particular attention is given to stand-alone solar photovoltaic syste…
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Lucas Cordeiro, Daniel Kroening, Peter Schrammel
Empirical evaluation of verification tools by benchmarking is a common method in software verification research. The Competition on Software Verification (SV-COMP) aims at standard…