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

会议文集

文集名	Computer Aided Verification
会议名	36th International Conference on Computer-Aided Verification (CAV 2024)
中译名	《第三十六届国际计算机辅助认证会议，卷2》
会议日期	July 24-27, 2024
会议地点	Montreal, QC, Canada
出版年	2024
馆藏号	353263

题名	作者	出版年
The VerCors Verifier: A Progress Report	Lukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Omer Sakar; Philip Tasche	2024
Parsimonious Optimal Dynamic Partial Order Reduction	Parosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson; Konstantinos Sagonas	2024
Collective Contracts for Message-Passing Parallel Programs	Ziqing Luo; Stephen F. Siegel	2024
mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic	James R. Wilcox; Yotam M. Y. Feldman; Oded Padon; Sharon Shoham	2024
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas	Eden Frenkel; Tej Chajed; Oded Padon; Sharon Shoham	2024
Verifying Cake-Cutting, Faster	Noah Bertram; Tean Lai; Justin Hsu	2024
General Anticipatory Runtime Verification	Raik Hipler; Hannes Kallwies; Martin Leucker; Cesar Sanchez	2024
Proactive Real-Time First-Order Enforcement	Francois Hublet; Leonardo Lima; David Basin; Srdan Krstic; Dmitriy Traytel	2024
Predictive Monitoring with Strong Trace Prefixes	Zhendong Ang; Umang Mathur	2024
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned	Jan Baumeister; Bernd Finkbeiner; Florian Kohn; Florian Lohr; Guido Manfredi; Sebastian Schirmer; Christoph Torens	2024
Testing the Migration from Analog to Software-Based Railway Interlocking Systems	Anna Becchi; Alessandro Cimatti; Giuseppe Scaglione	2024
soid: A Tool for Legal Accountability for Automated Decision Making	Samuel Judson; Matthew Elacqua; Filip Cano; Timos Antonopoulos; Bettina Konighofer; Scott J. Shapiro; Ruzica Piskac	2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks	Haoze Wu; Omri Isac; Aleksandar Zeljic; Teruhiro Tagomori; Matthew Daggitt; Wen Kokke; Idan Refaeli; Guy Amir; Kyle Julian; Shahaf Bassan; Pei Huang; Ori Lahav; Min Wu; Min Zhang; Ekaterina Komendantskaya; Guy Katz; Clark Barrett	2024
Monitizer: Automating Design and Evaluation of Neural Network Monitors	Muqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretinsky; Stefanie Mohr; Sabine Rieder	2024
Guiding Enumerative Program Synthesis with Large Language Models	Yixuan Li; Julian Parsert; Elizabeth Polgreen	2024
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification	Cheng Wen; Jialun Cao; Jie Su; Zhiwu Xu; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian	2024
Verifying Global Two-Safety Properties in Neural Networks with Confidence	Anagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher	2024
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors	Ruihan Zhang; Jun Sun	2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs	Yuval Shapira; Naor Wiesel; Shahar Shabelman; Dana Drachsler-Cohen	2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems	Dapeng Zhi; Peixin Wang; Si Liu; C. -H. Luke Ong; Min Zhang	2024