TACAS (2)

Keyphrases

Publications

2023

Martin Mariusz Lester
CoPTIC: Constraint Programming Translated Into C. TACAS (2) (2023)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) (2023)
Ocan Sankur
Timed Automata Verification and Synthesis via Finite Automata Learning. TACAS (2) (2023)
Wenji Fang, Hongce Zhang
WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification. TACAS (2) (2023)
Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). TACAS (2) (2023)
Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) (2023)
Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan
Explainable Online Monitoring of Metric Temporal Logic. TACAS (2) (2023)
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) (2023)
João Cortes, Inês Lynce, Vasco M. Manquinho
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. TACAS (2) (2023)
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
The WhyRel Prototype for Modular Relational Verification of Pointer Programs. TACAS (2) (2023)
Yuning Wang, He Zhu
Verification-guided Programmatic Controller Synthesis. TACAS (2) (2023)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. TACAS (2) (2023)
Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz
Extending a High-Performance Prover to Higher-Order Logic. TACAS (2) (2023)
Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). TACAS (2) (2023)
Philippe Heim, Rayna Dimitrova
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. TACAS (2) (2023)
Paulína Ayaziová, Jan Strejcek
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution). TACAS (2) (2023)
Bastien Thomas, Ocan Sankur
PyLTA: A Verification Tool for Parameterized Distributed Algorithms. TACAS (2) (2023)
Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). TACAS (2) (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. TACAS (2) (2023)
Xavier Denis, Jacques-Henri Jourdan
Specifying and Verifying Higher-order Rust Iterators. TACAS (2) (2023)
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) (2023)
Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). TACAS (2) (2023)
Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
Gidon Ernst
Korn - Software Verification with Horn Clauses (Competition Contribution). TACAS (2) (2023)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). TACAS (2) (2023)
Kalmer Apinis, Vesal Vojdani
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis. TACAS (2) (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). TACAS (2) (2023)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
LTL Reactive Synthesis with a Few Hints. TACAS (2) (2023)
Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) (2023)
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. TACAS (2) (2023)
Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans
Multiparty Session Typing in Java, Deductively. TACAS (2) (2023)
Oliver Kullmann, Ankit Shukla
Transforming Quantified Boolean Formulas Using Biclique Covers. TACAS (2) (2023)
Tobias Winkler, Joost-Pieter Katoen
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. TACAS (2) (2023)
Marek Chalupa, Thomas A. Henzinger
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). TACAS (2) (2023)
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. TACAS (2) (2023)
Dirk Beyer
Competition on Software Verification and Witness Validation: SV-COMP 2023. TACAS (2) (2023)
Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad
Verified reductions for optimization. TACAS (2) (2023)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) (2023)
Ameer Hamza, Grigory Fedyukovich
Lockstep Composition for Unbalanced Loops. TACAS (2) (2023)
Michaël Cadilhac, Guillermo A. Pérez
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. TACAS (2) (2023)
Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar
2LS: Arrays and Loop Unwinding - (Competition Contribution). TACAS (2) (2023)

volume 13994, 2023

Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II TACAS (2) 13994 (2023)

2022

volume 13244, 2022

Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II TACAS (2) 13244 (2022)