default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th 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
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 2024-10-31 20: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:
