TACAS (3)

Keyphrases

Publications

2024

Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth
SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution). TACAS (3) (2024)
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) (2024)
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). TACAS (3) (2024)
Zhen Wang, Zhenbang Chen
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). TACAS (3) (2024)
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
Provable Preimage Under-Approximation for Neural Networks. TACAS (3) (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
Verification under TSO with an infinite Data Domain. TACAS (3) (2024)
Satya Prakash Nayak, Anne-Kathrin Schmuck
Most General Winning Secure Equilibria Synthesis in Graph Games. TACAS (3) (2024)
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. TACAS (3) (2024)
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). TACAS (3) (2024)
Paulína Ayaziová, Jan Strejcek
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). TACAS (3) (2024)
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. TACAS (3) (2024)
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. TACAS (3) (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) (2024)
Dirk Beyer
State of the Art in Software Verification and Witness Validation: SV-COMP 2024. TACAS (3) (2024)
Levente Bajczi, Zsófia Ádám, Zoltán Micskei
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) (2024)
Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) (2024)
Po-Chun Chien, Nian-Ze Lee
CPV: A Circuit-Based Program Verifier. TACAS (3) (2024)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Auction-Based Scheduling. TACAS (3) (2024)
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). TACAS (3) (2024)
Marek Chalupa, Cedric Richter
Bubaak-SpLit: Split what you cannot verify (Competition contribution). TACAS (3) (2024)
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis
Fast Symbolic Computation of Bottom SCCs. TACAS (3) (2024)
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). TACAS (3) (2024)
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). TACAS (3) (2024)
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. TACAS (3) (2024)
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). TACAS (3) (2024)
Abhishek Kr Singh, Ori Lahav
Decidable Verification under Localized Release-Acquire Concurrency. TACAS (3) (2024)
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). TACAS (3) (2024)
Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) (2024)
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). TACAS (3) (2024)
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). TACAS (3) (2024)

volume 14572, 2024

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 TACAS (3) 14572 (2024)

2019

volume 11429, 2019

Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III TACAS (3) 11429 (2019)