先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Formal Methods
会议名26th International Symposium on Formal Methods (FM 2024)
中译名《第二十六届国际形式方法研讨会，卷2》
会议日期September 9-13, 2024
会议地点Milan, Italy
出版年2025
馆藏号355993


题名作者出版年
Extending Isabelle/HOL's Code Generator with Support for the Go Programming LanguageTerru Stubinger; Lars Hupel2025
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0Laura Titolo; Mariano Moscato; Marco A. Feliu; Paolo Masci; Cesar A. Munoz2025
FM-Weck: Containerized Execution of Formal-Methods ToolsDirk Beyer; Henrik Wachowitz2025
DFA Miner: Mining Minimal Separating DFAs from Labelled SamplesDaniele Dell'Erba; Yong Li; Sven Schewe2025
Visualizing Game-Based Certificates for Hyperproperty VerificationRaven Beutner; Bernd Finkbeiner; Angelina Gobl2025
Chamelon: A Delta-Debugger for OCamlMilla Valnet; Nathanaelle Courant; Guillaume Bury; Pierre Chambart; Vincent Laviron2025
Automated Static Analysis of Quality of Service Properties of Communicating SystemsCarlos G. Lopez Pombo; Agustin Eloy Martinez Sune; Emilio Tuosto2025
Alloy Repair Hint Generation Based on Historical DataAna Barros; Henrique Neto; Alcino Cunha; Nuno Macedo; Ana C. R. Paiva2025
B2SAT: A Bare-Metal Reduction of B to SATMichael Leuschel2025
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in PythonJianqiang Ding; Taoran Wu; Zhen Liang; Bai Xue2025
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at LastSung-Shik Jongmans2025
Stochastic Games for User JourneysPaul Kobialka; Andrea Pferscher; Gunnar R. Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa2025
Compositional Verification of Cryptographic Circuits Against Fault Injection AttacksHuiyu Tan; Xi Yang; Fu Song; Taolue Chen; Zhilin Wu2025
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid SystemsJulius Adelt; Robert Mensing; Paula Herber2025
Switching Controller Synthesis for Hybrid Systems Against STL FormulasHan Su; Shenghua Feng; Sinong Zhan; Naijun Zhan2025
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded DomainsHao Wu; Shenghua Feng; Ting Gan; Jie Wang; Bican Xia; Naijun Zhan2025
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical SystemsChangjian Zhang; Parv Kapoor; Romulo Meira-Goes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar2025
CauMon: An Informative Online Monitor for Signal Temporal LogicZhenya Zhang; Jie An; Paolo Arcaini; Ichiro Hasuo2025
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model CheckingMinghua Wang; Jingling Xue; Lin Huang; Yuan Zi; Tao Wei2025
Beyond the Bottleneck: Enhancing High-Concurrency Systems with Lock TuningJuntao Ji; Yinyou Gu; Yubao Fu; Qingshan Lin2025
12



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