![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
30th TACAS@ETAPS 2024: Luxembourg City, Luxembourg - Part III
- Bernd Finkbeiner
, Laura Kovács
:
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Lecture Notes in Computer Science 14572, Springer 2024, ISBN 978-3-031-57255-5
Neural Networks
- Xiyue Zhang, Benjie Wang, Marta Kwiatkowska:
Provable Preimage Under-Approximation for Neural Networks. 3-23 - Dong Xu
, Nusrat Jahan Mozumder
, Hai Duong
, Matthew B. Dwyer
:
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. 24-44 - Matthias Cosler
, Christopher Hahn, Ayham Omar
, Frederik Schmitt
:
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. 45-67
Testing and Verification
- Lars B. van den Haak
, Anton Wijs
, Marieke Huisman
, Mark van den Brand
:
HaliVer: Deductive Verification and Scheduling Languages Join Forces. 71-89 - Martin Jonás
, Jan Strejcek
, Marek Trtík
, Lukás Urban
:
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. 90-109 - Anna Blume Jakobsen
, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol
, Andreas Pavlogiannis
:
Fast Symbolic Computation of Bottom SCCs. 110-128 - Zsófia Ádám
, Dirk Beyer
, Po-Chun Chien
, Nian-Ze Lee
, Nils Sirrenberg
:
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. 129-149
Games
- Guy Avni
, Kaushik Mallik
, Suman Sadhukhan
:
Auction-Based Scheduling. 153-172 - Satya Prakash Nayak, Anne-Kathrin Schmuck:
Most General Winning Secure Equilibria Synthesis in Graph Games. 173-193 - Mikael Bisgaard Dahlsen-Jensen
, Baptiste Fievet
, Laure Petrucci
, Jaco van de Pol
:
On-The-Fly Algorithm for Reachability in Parametric Timed Games. 194-212 - Rupak Majumdar
, Irmak Saglam
, K. S. Thejaswini
:
Rabin Games and Colourful Universal Trees. 213-231
Concurrency
- Abhishek Kr Singh
, Ori Lahav
:
Decidable Verification under Localized Release-Acquire Concurrency. 235-254 - Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. 255-275 - Parosh Aziz Abdulla, Mohamed Faouzi Atig
, Florian Furbach
, Shashwat Garg:
Verification under TSO with an infinite Data Domain. 276-295
13th Competition on Software Verification - SV-Comp 2024
- Dirk Beyer
:
State of the Art in Software Verification and Witness Validation: SV-COMP 2024. 299-329 - Levente Bajczi
, Zsófia Ádám
, Zoltán Micskei
:
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). 330-334 - Simmo Saan
, Julian Erhard
, Michael Schwarz
, Stanimir Bozhilov
, Karoliine Holter
, Sarah Tilscher
, Vesal Vojdani
, Helmut Seidl
:
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). 335-340 - Paulína Ayaziová
, Jan Strejcek
:
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). 341-346 - Zhen Wang
, Zhenbang Chen
:
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). 347-352 - Marek Chalupa
, Cedric Richter
:
Bubaak-SpLit: Split what you cannot verify (Competition contribution). 353-358 - Daniel Baier
, Dirk Beyer
, Po-Chun Chien
, Marek Jankola
, Matthias Kettl
, Nian-Ze Lee
, Thomas Lemberger
, Marian Lingsch Rosenfeld
, Martin Spiessl
, Henrik Wachowitz
, Philipp Wendler
:
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). 359-364 - Po-Chun Chien
, Nian-Ze Lee
:
CPV: A Circuit-Based Program Verifier. 365-370 - Levente Bajczi
, Dániel Szekeres
, Milán Mondok
, Zsófia Ádám
, Márk Somorjai
, Csanád Telbisz
, Mihály Dobos-Kovács
, Vince Molnár
:
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). 371-375 - Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro:
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). 376-380 - Simmo Saan
, Julian Erhard
, Michael Schwarz
, Stanimir Bozhilov
, Karoliine Holter
, Sarah Tilscher
, Vesal Vojdani
, Helmut Seidl
:
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). 381-386 - Raphaël Monat
, Marco Milanese
, Francesco Parolini, Jérôme Boillot
, Abdelraouf Ouadjaout
, Antoine Miné
:
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). 387-392 - Ravindra Metta
, Hrishikesh Karmarkar
, Kumar Madhukar
, R. Venkatesh, Supratik Chakraborty
:
PROTON: PRObes for Termination Or Not (Competition Contribution). 393-398 - Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth:
SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution). 399-405 - Martin Jonás
, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík
, Lukás Zaoral, Paulína Ayaziová
, Jan Strejcek
:
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). 406-411 - Levente Bajczi
, Csanád Telbisz
, Márk Somorjai
, Zsófia Ádám
, Mihály Dobos-Kovács
, Dániel Szekeres
, Milán Mondok
, Vince Molnár
:
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). 412-417 - Frank Schüssele
, Manuel Bentele
, Daniel Dietsch
, Matthias Heizmann
, Xinyu Jiang
, Dominik Klumpp
, Andreas Podelski
:
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). 418-423
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.