会议文集


文集名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 ReportLukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Omer Sakar; Philip Tasche2024
Parsimonious Optimal Dynamic Partial Order ReductionParosh Aziz Abdulla; Mohamed Faouzi Atig; Sarbojit Das; Bengt Jonsson; Konstantinos Sagonas2024
Collective Contracts for Message-Passing Parallel ProgramsZiqing Luo; Stephen F. Siegel2024
mypyvy: A Research Platform for Verification of Transition Systems in First-Order LogicJames R. Wilcox; Yotam M. Y. Feldman; Oded Padon; Sharon Shoham2024
Efficient Implementation of an Abstract Domain of Quantified First-Order FormulasEden Frenkel; Tej Chajed; Oded Padon; Sharon Shoham2024
Verifying Cake-Cutting, FasterNoah Bertram; Tean Lai; Justin Hsu2024
General Anticipatory Runtime VerificationRaik Hipler; Hannes Kallwies; Martin Leucker; Cesar Sanchez2024
Proactive Real-Time First-Order EnforcementFrancois Hublet; Leonardo Lima; David Basin; Srdan Krstic; Dmitriy Traytel2024
Predictive Monitoring with Strong Trace PrefixesZhendong Ang; Umang Mathur2024
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-LearnedJan Baumeister; Bernd Finkbeiner; Florian Kohn; Florian Lohr; Guido Manfredi; Sebastian Schirmer; Christoph Torens2024
Testing the Migration from Analog to Software-Based Railway Interlocking SystemsAnna Becchi; Alessandro Cimatti; Giuseppe Scaglione2024
soid: A Tool for Legal Accountability for Automated Decision MakingSamuel Judson; Matthew Elacqua; Filip Cano; Timos Antonopoulos; Bettina Konighofer; Scott J. Shapiro; Ruzica Piskac2024
Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksHaoze 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 Barrett2024
Monitizer: Automating Design and Evaluation of Neural Network MonitorsMuqsit Azeem; Marta Grobelna; Sudeep Kanav; Jan Kretinsky; Stefanie Mohr; Sabine Rieder2024
Guiding Enumerative Program Synthesis with Large Language ModelsYixuan Li; Julian Parsert; Elizabeth Polgreen2024
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program VerificationCheng Wen; Jialun Cao; Jie Su; Zhiwu Xu; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian2024
Verifying Global Two-Safety Properties in Neural Networks with ConfidenceAnagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher2024
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes ErrorsRuihan Zhang; Jun Sun2024
Boosting Few-Pixel Robustness Verification via Covering Verification DesignsYuval Shapira; Naor Wiesel; Shahar Shabelman; Dana Drachsler-Cohen2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled SystemsDapeng Zhi; Peixin Wang; Si Liu; C. -H. Luke Ong; Min Zhang2024



制造业外文文献服务平台