会议文集


文集名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)
中译名《第三十一届国际系统结构与分析的工具及算法会议，卷1》
会议日期May 3-8, 2025
会议地点Hamilton, ON, Canada
出版年2025
馆藏号356888


题名作者出版年
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study)Levente Bajczi; Csanad Telbisz; Daniel Szekeres; Andras Voros2025
Inferring Incorrectness Specifications for Object-Oriented ProgramsWenhua Li; Quang Loc Le; Yahui Song; Wei-Ngan Chin2025
Performance Heuristics for GR(1) Realizability Checking and Related AnalysesRoy Yatskan; Ilia Shevrin; Shahar Maoz2025
Stream-Based Monitoring of Algorithmic FairnessJan Baumeister; Bernd Finkbeiner; Frederik Scheerer; Julian Siber; Tobias Wagenpfeil2025
Augmenting Model-Based Instantiation with Fast EnumerationLydia Kondylidou; Andrew Reynolds; Jasmin Blanchette2025
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4Leni Aniva; Chuyue Sun; Brando Miranda; Clark Barrett; Sanmi Koyejo2025
Automated Analysis of Logically Constrained Rewrite Systems Using crestJonas Schopf; Aart Middeldorp2025
Multiparty Session Typing, EmbeddedSung-Shik Jongmans2025
Sound Statistical Model Checking for Probabilities and Expected RewardsCarlos E. Budde; Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhoft2025
Efficient Evidence Generation for Modal μ-Calculus Model CheckingAnna Stramaglia; Jeroen J. A. Keiren; Maurice Laveaux; Tim A. C. Willemse2025
Token Elimination in Model Checking of Petri NetsNicolaj O. Jensen; Kim G. Larsen; Jiri Srba2025
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine LearningJan Kretinsky; Tobias Meggendorfer; Maximilian Prokop; Ashkan Zarkhah2025
Formally Verifying a Transformation from MLTL Formulas to Regular ExpressionsZili Wang; Katherine Kosaian; Kristin Yvonne Rozier2025
Learning Real-Time One-Counter Automata Using Polynomially Many QueriesPrince Mathew; Vincent Penelle; A. V. Sreejith2025
LydiaSyft: A Compositional Symbolic Synthesis Framework for LTL_f SpecificationsShufang Zhu; Marco Favorito2025
Automating the Analysis of Quantitative Automata with QuAKMarek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Sarac2025
Neural Network Verification with Branch-and-Bound for General NonlinearitiesZhouxing Shi; Qirui Jin; Zico Kolter; Suman Jana; Cho-Jui Hsieh; Huan Zhang2025
Cyclone: A Heterogeneous Tool for Verifying Infinite DescentLiron Cohen; Reuben N. S. Rowe; Matan Shaked2025
Extracting Linear Relations from Grobner Bases for Formal Verification of And-Inverter GraphsDaniela Kaufmann; Jeremy Berthomieu2025
Implicit Rankings for Verifying Liveness Properties in First-Order LogicRaz Lotan; Sharon Shoham2025



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