会议文集


文集名Tools and Algorithms for the Construction and Analysis of Systems
会议名31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025), Held as Part of the International Joint Conferences on Theory and Practice of Software (ETAPS 2025)
中译名《第三十一届国际系统结构与分析的工具及算法会议，卷3》
会议日期May 3-8, 2025
会议地点Hamilton, ON, Canada
出版年2025
馆藏号356890


题名作者出版年
Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STMNikolaus Huber; Naomi Spargo; Nicolas Osborne; Samuel Hym; Jan Midtgaard2025
Weakly acyclic diagrams: A data structure for infinite-state symbolic verificationMichael Blondin; Michael Cadilhac; Xin-Yi Cui; Philipp Czerner; Javier Esparza; Jakob Schulz2025
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database TransactionsShabnam Ghasemirad; Christoph Sprenger; Si Liu; Luca Multazzu; David Basin2025
Certifiably Robust Policies for Uncertain Parametric EnvironmentsYannik Schnitzer; Alessandro Abate; David Parker2025
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum ProgramsYu-Fang Chen; Kai-Min Chung; Min-Hsiu Hsieh; Wei-Jia Huang; Ondrej Lengal; Jyun-Ao Lin; Wei-Lun Tsai2025
Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUsMuhammad Osama; Dimitrios Thanos; Alfons Laarman2025
SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics QueriesTian-Fu Chen; Jie-Hong R. Jiang2025
GPUexplore~(PROB): Markov Chain State Space Construction and Verification with GPUsJan Heemstra; Anton Wijs2025
Improvements in Software Verification and Witness Validation: SV-COMP 2025Dirk Beyer; Jan Strejcek2025
SV-COMP'25 Reproduction Report (Competition Contribution)Levente Bajczi; Zsofia Adam; Zoltan Micskei2025
CPAchecker 4.0 as Witness Validator: Competition ContributionDirk Beyer; Marian Lingsch-Rosenfeld2025
AISE v2.0: Combining Loop Transformations: Competition ContributionYao Lin; Zhenbang Chen; Ji Wang2025
AProVE (KoAT + LoAT): Competition ContributionNils Lommen; Jurgen Giesl2025
BUBAAK: Dynamic Cooperative Verification: Competition ContributionMarek Chalupa; Cedric Richter2025
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution)Milan Mondok; Levente Bajczi; Daniel Szekeres; Vince Molnar2025
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction: Competition ContributionTong Wu; Xianzhiyu Li; Edoardo Manino; Rafael Sa Menezes; Mikhail R. Gadelha; Shale Xiong; Norbert Tihanyi; Pavlos Petoumenos; Lucas C. Cordeiro2025
Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution)Raphael Monat; Abdelraouf Ouadjaout; Antoine Mine2025
Nacpa: Native Checking with Parallel-Portfolio Analyses: Competition ContributionThomas Lemberger; Henrik Wachowitz2025
PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally hosted LLM (Competition Contribution)Diganta Mukhopadhyay; Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar2025
RacerF: Data Race Detection with Frama-C: Competition ContributionTomas Dacik; Tomas Vojnar2025
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2025