default search action

combined dblp search
author search
venue search
publication search

ask others

12th VSTTE 2020: Los Angeles, CA, USA

> Home > Conferences and Workshops > VSTTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2020
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

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FerraraN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FerraraN20
Pietro Ferrara, Luca Negrini:
SARL: OO Framework Specification for Static Analysis. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BuningSF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BuningSF20
Marko Kleine Büning, Carsten Sinz, David Faragó:
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. 21-32
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ZalivaZF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ZalivaZF20
Vadim Zaliva, Ilia Zaichuk, Franz Franchetti:
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AthanasiouWDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AthanasiouWDF20
Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei:
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. 50-67
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ScottMG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ScottMG20
Joseph Scott, Federico Mora, Vijay Ganesh:
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. 68-86
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TrindadeC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TrindadeC20
Alessandro Trindade, Lucas C. Cordeiro:
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. 87-105
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BosamiyaGLPH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BosamiyaGLPH20
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel:
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. 106-123
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/MolaviSDB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/MolaviSDB20
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang:
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. 124-143
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NavasDM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NavasDM20
Jorge A. Navas, Bruno Dutertre, Ian A. Mason:
Verification of an Optimized NTT Algorithm. 144-160

NSV 2020

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/JezequelGMII20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/JezequelGMII20
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
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GadelhaCN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GadelhaCN20
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. 178-195
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GarciaMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GarciaMR20
Rémy Garcia, Claude Michel, Michel Rueher:
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. 196-212
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PanchekhaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PanchekhaT20
Pavel Panchekha, Zachary Tatlock:
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. 213-220
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KabiGMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KabiGMP20
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.