default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th VSTTE 2020: Los Angeles, CA, USA
- Maria Christakis, Nadia Polikarpova
, Parasara Sridhar Duggirala, Peter Schrammel:
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12549, Springer 2020, ISBN 978-3-030-63617-3
VSTTE 2020
- Pietro Ferrara, Luca Negrini:
SARL: OO Framework Specification for Static Analysis. 3-20 - Marko Kleine Büning, Carsten Sinz, David Faragó:
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. 21-32 - Vadim Zaliva, Ilia Zaichuk, Franz Franchetti:
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. 33-49 - Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei:
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. 50-67 - Joseph Scott, Federico Mora, Vijay Ganesh:
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. 68-86 - Alessandro Trindade, Lucas C. Cordeiro:
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. 87-105 - Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel:
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. 106-123 - Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang:
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. 124-143 - Jorge A. Navas, Bruno Dutertre, Ian A. Mason:
Verification of an Optimized NTT Algorithm. 144-160
NSV 2020
- Fabienne Jézéquel, Stef Graillat, Daichi Mukunoki, Toshiyuki Imamura, Roman Iakymchuk:
Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results? 163-177 - Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. 178-195 - Rémy Garcia, Claude Michel, Michel Rueher:
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. 196-212 - Pavel Panchekha, Zachary Tatlock:
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. 213-220 - Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot:
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. 221-238
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-12 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
