default search action
27th TACAS@ETAPS 2021: Luxembourg
- Jan Friso Groote
, Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12652, Springer 2021, ISBN 978-3-030-72012-4
Verification Techniques (not SMT)
- Michael Blondin
Directed Reachability for Infinite-State Systems. 3-23 - Grigory Fedyukovich
Bridging Arrays and ADTs in Recursive Proofs. 24-42 - Debasmita Lohar
A Two-Phase Approach for Conditional Floating-Point Verification. 43-63 - Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Symbolic Coloured SCC Decomposition. 64-83
Case Studies
- Aviad Cohen, Alexander Nadel
Local Search with a SAT Oracle for Combinatorial Optimization. 87-104 - Julien Lepiller
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. 105-123
Proof Generation/Validation
- Fabian Mitterwallner
Certifying Proofs in the First-Order Theory of Rewriting. 127-144 - Aina Niemetz
Syntax-Guided Quantifier Instantiation. 145-163 - Giles Reger, Johannes Schoisswohl, Andrei Voronkov:
Making Theory Reasoning Simpler. 164-180 - Yong Kiam Tan
Deductive Stability Proofs for Ordinary Differential Equations. 181-199
Tool Papers
- Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz:
An SMT-Based Approach for Verifying Binarized Neural Networks. 203-222 - Yong Kiam Tan
cake_lpr: Verified Propagation Redundancy Checking in CakeML. 223-241 - Rosa Abbasi
Deductive Verification of Floating-Point Java Programs in KeY. 242-261 - Yuki Nishida
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. 262-280 - Matthew Sotoudeh
SyReNN: A Tool for Analyzing Deep Neural Networks. 281-302 - Joseph Scott
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. 303-325 - Pranav Ashok
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. 326-345
Tool Demo Papers
- Felipe Gorostiaga
HLola: a Very Functional Tool for Extensible Stream Runtime Verification. 349-356 - Daniela Kaufmann
AMulet 2.0 for Verifying Multiplier Circuits. 357-364 - Sebastian Biewer
RTLola on Board: Testing Real Driving Emissions on your Phone. 365-372 - Carlos E. Budde
Replicating sc Restart with Prolonged Retrials: An Experimental Report. 373-380 - Manuel Gieseking
A Web Interface for Petri Nets with Transits and Petri Games. 381-388 - Maximilian A. Köhl
Momba: JANI Meets Python. 389-398
SV-Comp Tool Competition Papers
- Dirk Beyer
Software Verification: 10th Comparative Evaluation (SV-COMP 2021). 401-422 - Pavel S. Andrianov
cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). 423-427 - Hernán Ponce de León
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). 428-432 - Zsófia Ádám
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). 433-437 - Simmo Saan, Michael Schwarz
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). 438-442 - Ali Shamakhi
Towards String Support in JayHorn (Competition Contribution). 443-447 - Malte Mues
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). 448-452 - Marek Chalupa
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). 453-457 - Priyanka Darke
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). 458-462
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 2025-01-14 21:02 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by: