Software Verification: 10th Comparative Evaluation (SV-COMP 2021) (Englisch)
Freier Zugriff
- Neue Suche nach: Beyer, Dirk
- Weitere Informationen zu Beyer, Dirk:
- https://orcid.org/http://orcid.org/0000-0003-4832-7662
- Neue Suche nach: Groote, Jan Friso
- Weitere Informationen zu Groote, Jan Friso:
- https://orcid.org/https://orcid.org/0000-0003-2196-6587
- Neue Suche nach: Larsen, Kim Guldstrand
- Weitere Informationen zu Larsen, Kim Guldstrand:
- https://orcid.org/https://orcid.org/0000-0002-5953-3384
- Neue Suche nach: Beyer, Dirk
- Weitere Informationen zu Beyer, Dirk:
- https://orcid.org/http://orcid.org/0000-0003-4832-7662
In:
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
;
Kapitel: 24
;
401-422
;
2021
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Groote, Jan Friso ( Herausgeber:in ) / Larsen, Kim Guldstrand ( Herausgeber:in ) / Beyer, Dirk ( Autor:in )
-
Kongress:International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; 2021 ; Luxembourg City, Luxembourg
-
Erschienen in: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 ; Kapitel: 24 ; 401-422Lecture Notes in Computer Science ; 12652 ; 401-422
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:23.03.2021
-
Format / Umfang:22 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Directed Reachability for Infinite-State SystemsBlondin, Michael / Haase, Christoph / Offtermatt, Philip et al. | 2021
- 2
-
Bridging Arrays and ADTs in Recursive ProofsFedyukovich, Grigory / Ernst, Gidon et al. | 2021
- 3
-
A Two-Phase Approach for Conditional Floating-Point VerificationLohar, Debasmita / Jeangoudoux, Clothilde / Sobel, Joshua / Darulova, Eva / Christakis, Maria et al. | 2021
- 4
-
Symbolic Coloured SCC DecompositionBeneš, Nikola / Brim, Luboš / Pastva, Samuel / Šafránek, David et al. | 2021
- 5
-
Local Search with a SAT Oracle for Combinatorial OptimizationCohen, Aviad / Nadel, Alexander / Ryvchin, Vadim et al. | 2021
- 6
-
Analyzing Infrastructure as Code to Prevent Intra-update Sniping VulnerabilitiesLepiller, Julien / Piskac, Ruzica / Schäf, Martin / Santolucito, Mark et al. | 2021
- 7
-
Certifying Proofs in the First-Order Theory of RewritingMitterwallner, Fabian / Lochmann, Alexander / Middeldorp, Aart / Felgenhauer, Bertram et al. | 2021
- 8
-
Syntax-Guided Quantifier InstantiationNiemetz, Aina / Preiner, Mathias / Reynolds, Andrew / Barrett, Clark / Tinelli, Cesare et al. | 2021
- 9
-
Making Theory Reasoning SimplerReger, Giles / Schoisswohl, Johannes / Voronkov, Andrei et al. | 2021
- 10
-
Deductive Stability Proofs for Ordinary Differential EquationsTan, Yong Kiam / Platzer, André et al. | 2021
- 11
-
An SMT-Based Approach for Verifying Binarized Neural NetworksAmir, Guy / Wu, Haoze / Barrett, Clark / Katz, Guy et al. | 2021
- 12
-
cake_lpr: Verified Propagation Redundancy Checking in CakeMLTan, Yong Kiam / Heule, Marijn J. H. / Myreen, Magnus O. et al. | 2021
- 13
-
Deductive Verification of Floating-Point Java Programs in KeYAbbasi, Rosa / Schiffl, Jonas / Darulova, Eva / Ulbrich, Mattias / Ahrendt, Wolfgang et al. | 2021
- 14
-
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement TypesNishida, Yuki / Saito, Hiromasa / Chen, Ran / Kawata, Akira / Furuse, Jun / Suenaga, Kohei / Igarashi, Atsushi et al. | 2021
- 15
-
SyReNN: A Tool for Analyzing Deep Neural NetworksSotoudeh, Matthew / Thakur, Aditya V. et al. | 2021
- 16
-
MachSMT: A Machine Learning-based Algorithm Selector for SMT SolversScott, Joseph / Niemetz, Aina / Preiner, Mathias / Nejati, Saeed / Ganesh, Vijay et al. | 2021
- 17
-
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by ExpertsAshok, Pranav / Jackermeier, Mathias / Křetínský, Jan / Weinhuber, Christoph / Weininger, Maximilian / Yadav, Mayank et al. | 2021
- 18
-
HLola: a Very Functional Tool for Extensible Stream Runtime VerificationGorostiaga, Felipe / Sánchez, César et al. | 2021
- 19
-
AMulet 2.0 for Verifying Multiplier CircuitsKaufmann, Daniela / Biere, Armin et al. | 2021
- 20
-
RTLola on Board: Testing Real Driving Emissions on your PhoneBiewer, Sebastian / Finkbeiner, Bernd / Hermanns, Holger / Köhl, Maximilian A. / Schnitzer, Yannik / Schwenger, Maximilian et al. | 2021
- 21
-
Replicating \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsc {Restart}$$\end{document} with Prolonged Retrials: An Experimental ReportBudde, Carlos E. / Hartmanns, Arnd et al. | 2021
- 22
-
A Web Interface for Petri Nets with Transits and Petri GamesGieseking, Manuel / Hecking-Harbusch, Jesko / Yanich, Ann et al. | 2021
- 23
-
Momba: JANI Meets PythonKöhl, Maximilian A. / Klauck, Michaela / Hermanns, Holger et al. | 2021
- 24
-
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)Beyer, Dirk et al. | 2021
- 25
-
cpalockator: Thread-Modular Analysis with ProjectionsAndrianov, Pavel / Mutilin, Vadim / Khoroshilov, Alexey et al. | 2021
- 26
-
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)Ponce-de-León, Hernán / Haas, Thomas / Meyer, Roland et al. | 2021
- 27
-
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)Ádám, Zsófia / Sallai, Gyula / Hajdu, Ákos et al. | 2021
- 28
-
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting ConstraintsSaan, Simmo / Schwarz, Michael / Apinis, Kalmer / Erhard, Julian / Seidl, Helmut / Vogler, Ralf / Vojdani, Vesal et al. | 2021
- 29
-
Towards String Support in JayHorn (Competition Contribution)Shamakhi, Ali / Hojjat, Hossein / Rümmer, Philipp et al. | 2021
- 30
-
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)Mues, Malte / Howar, Falk et al. | 2021
- 31
-
Symbiotic 8: Beyond Symbolic ExecutionChalupa, Marek / Jašek, Tomáš / Novák, Jakub / Řechtáčková, Anna / Šoková, Veronika / Strejček, Jan et al. | 2021
- 32
-
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)Darke, Priyanka / Agrawal, Sakshi / Venkatesh, R. et al. | 2021