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

会议文集


文集名Computer Aided Verification
会议名35th International Conference on Computer Aided Verification (CAV 2023)
中译名《第三十五届国际计算机辅助认证会议，卷1》
会议日期July 17-22, 2023
会议地点Paris, France
出版年2023
馆藏号349225


题名作者出版年
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style CharacterizationMasaki Waga2023
Automated Analyses of IOT Event Monitoring SystemsAndrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma; Michael W. Whalen; Raveesh Yadav2023
Learning Assumptions for Compositional Verification of Timed AutomataHanyue Chen; Yu Su; Miaomiao Zhang; Zhiming Liu; Junri Mi2023
Online Causation Monitoring of Signal Temporal LogicZhenya Zhang; Jie An; Paolo Arcaini; Ichiro Hasuo2023
Process Equivalence Problems as Energy GamesBenjamin Bisping2023
Commutativity for Concurrent Program Termination ProofsDanya Lette; Azadeh Farzan2023
Fast Termination and Workflow NetsPiotr Hofman; Filip Mazowiecki; Philip Offtermatt2023
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVMNikita Koval; Alexander Fedorov; Maria Sokolova; Dmitry Tsitelov; Dan Alistarh2023
nekton: A Linearizability Proof CheckerRoland Meyer; Anton Opaterny; Thomas Wies; Sebastian Wolff2023
Overcoming Memory Weakness with Unified Fairness Systematic Verification of Liveness in Weak Memory ModelsParosh Aziz Abdulla; Mohamed Faouzi Atig; Adwait Godbole; Shankaranarayanan Krishna; Mihir Vahanwala2023
Rely-Guarantee Reasoning for Causally Consistent Shared MemoryOri Lahav; Brijesh Dongol; Heike Wehrheim2023
Unblocking Dynamic Partial Order ReductionMichalis Kokologiannakis; Iason Marmanis; Viktor Vafeiadis2023
3D Environment Modeling for Falsification and Beyond with Scenic 3.0Eric Vin; Shun Kashiwa; Matthew Rhea; Daniel J. Fremont; Edward Kim; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia2023
A Unified Model for Real-Time Systems: Symbolic Techniques and ImplementationS. Akshay; Paul Gastin; R. Govind; Aniruddha R. Joshi; B. Srivathsan2023
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case StudyCorina S. Pasareanu; Ravi Mangal; Divya Gopinath; Sinem Getir Yaman; Calum Imrie; Radu Calinescu; Huafeng Yu2023
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid ConstraintsZhengfeng Yang; Li Zhang; Xia Zeng; Xiaochao Tang; Chao Peng; Zhenbing Zeng2023
Safe Environmental Envelopes of Discrete SystemsRomulo Meira-Goes; Ian Dardik; Eunsuk Kang; Stephane Lafortune; Stavros Tripakis2023
Verse: A Python Library for Reasoning About Multi-agent Hybrid System ScenariosYangge Li; Haoqing Zhu; Katherine Braught; Keyi Shen; Sayan Mitra2023
Counterexample Guided Knowledge Compilation for Boolean Functional SynthesisS. Akshay; Supratik Chakraborty; Sahil Jain2023
Guessing Winning Policies in LTL Synthesis by Semantic LearningJan Kretinsky; Tobias Meggendorfer; Maximilian Prokop; Sabine Rieder2023
12



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