wikidata.org
International Conference on Tools and Algorithms for Construction and Analysis of Systems
container_jafqld3tlfgs3dv3ijkjwg2o4y
Example Publications
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)
Zsófia Ádám, Gyula Sallai, Ákos Hajdu
2021
|
International Conference on Tools and Algorithms for Construction and Analysis of Systems
doi:10.1007/978-3-030-72013-1_27 dblp:conf/tacas/AdamSH21
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
Dirk Beyer
2021
|
International Conference on Tools and Algorithms for Construction and Analysis of Systems
doi:10.1007/978-3-030-72013-1_24 dblp:conf/tacas/000121
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games
no archive
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Esmaeil Zadeh Soudjani
2022
|
International Conference on Tools and Algorithms for Construction and Analysis of Systems
doi:10.1007/978-3-030-99527-0_5 dblp:conf/tacas/BanerjeeMMSS22
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)
no archive
Malte Mues, Falk Howar
2022
|
International Conference on Tools and Algorithms for Construction and Analysis of Systems
doi:10.1007/978-3-030-99527-0_27 dblp:conf/tacas/MuesH22
Adiar Binary Decision Diagrams in External Memory
no archive
Steffan Sølvsten, J.C. van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
2022
|
International Conference on Tools and Algorithms for Construction and Analysis of Systems
doi:10.1007/978-3-030-99527-0_16 dblp:conf/tacas/SolvstenPJT22