中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	Verification, Model Checking, and Abstract Interpretation
会议名	25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024)
中译名	《第二十五届国际验证、模型检验与抽象解释会议，卷2》
会议日期	January 15-16, 2024
会议地点	London, United Kingdom
出版年	2024
馆藏号	350918

题名	作者	出版年
Petrification: Software Model Checking for Programs with Dynamic Thread Management	Matthias Heizmann; Dominik Klumpp; Lars Nitzke; Frank Schussele	2024
A Fully Verified Persistency Library	Stefan Bodenmuller; John Derrick; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim	2024
A Navigation Logic for Recursive Programs with Dynamic Thread Creation	Roman Lakenbrink; Markus Muller-Olm; Christoph Ohrem; Jens Gutsfeld	2024
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training	Jiaxu Tian; Dapeng Zhi; Si Liu; Peixin Wang; Guy Katz; Min Zhang	2024
Verification of Neural Networks' Local Differential Classification Privacy	Roie Reshef; Anan Kabaha; Olga Seleznova; Dana Drachsler-Cohen	2024
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security	Akshay Dhonthi; Marcello Eiermann; Ernst Moritz Hahn; Vahid Hashemi	2024
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach	Michele Boreale; Luisa Collodi	2024
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs	Yuxin Deng; Huiling Wu; Ming Xu	2024
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC	Philip Tasche; Raul E. Monti; Stefanie Eva Drerup; Pauline Blohm; Paula Herber; Marieke Huisman	2024
Automatically Enforcing Rust Trait Properties	Twain Byrnes; Yoshiki Takashima; Limin Jia	2024
Borrowable Fractional Ownership Types for Verification	Takashi Nakayama; Yusuke Matsushita; Ken Sakayori; Ryosuke Sato; Naoki Kobayashi	2024
TP-DejaVu: Combining Operational and Declarative Runtime Verification	Klaus Havelund; Panagiotis Katsaros; Moran Omer; Doron Peled; Anastasios Temperekidis	2024
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic	Ritam Raha; Rajarshi Roy; Nathanael Fijalkow; Daniel Neider; Guillermo A. Perez	2024
Automatic and Incremental Repair for Speculative Information Leaks	Joachim Bard; Swen Jacobs; Yakir Vizel	2024
Sound Abstract Nonexploitability Analysis	Francesco Parolini; Antoine Mine	2024