会议文集


文集名Computer Aided Verification
会议名33rd International Conference on Computer Aided Verification (CAV 2021)
中译名《第三十三届国际计算机辅助认证会议，卷1》
会议日期July 20-23, 2021
会议地点Online
出版年2021
馆藏号340147


题名作者出版年
NNREPAIR: Constraint-Based Repair of Neural Network ClassifiersMuhammad Usman; Divya Gopinath; Youcheng Sun; Yannic Noller; Corina S. Pasareanu2021
Balancing Automation and Control for Formal Verification of MicroprocessorsShilpi Goel; Anna Slobodova; Rob Sumners; Sol Swords2021
Algebraic Program AnalysisZachary Kincaid; Thomas Reps; John Cyphert2021
Programmable Program SynthesisLoris D'Antoni; Qinheping Hu; Jinwoo Kim; Thomas Reps2021
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, OpportunitiesShachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N. S. Rowe; Ilya Sergey2021
DNNV: A Framework for Deep Neural Network VerificationDavid Shriver; Sebastian Elbaum; Matthew B. Dwyer2021
Robustness Verification of Quantum ClassifiersJi Guan; Wang Fang; Mingsheng Ying2021
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural NetworksYedi Zhang; Zhe Zhao; Guangke Chen; Fu Song; Taolue Chen2021
Automated Safety Verification of Programs Invoking Neural NetworksMaria Christakis; Hasan Ferit Eniser; Holger Hermanns; Jorg Hoffmann; Yugesh Kothari; Jianlin Li; Jorge A. Navas; Valentin Wustholz2021
Scalable Polyhedral Verification of Recurrent Neural NetworksWonryong Ryou; Jiayu Chen; Mislav Balunovic; Gagandeep Singh; Andrei Dan; Martin Vechev2021
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model PreconditioningRadoslav Ivanov; Taylor Carpenter; James Weimer; Rajeev Alur; George Pappas; Insup Lee2021
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed ReachabilityHoang-Dung Tran; Neelanjana Pal; Patrick Musau; Diego Manzanas Lopez; Nathaniel Hamilton; Xiaodong Yang; Stanley Bak; Taylor T. Johnson2021
PEREGRiNN: Penalized-Relaxation Greedy Neural Network VerifierHaitham Khedr; James Ferlez; Yasser Shoukry2021
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency ModelsAlasdair Armstrong; Brian Campbell; Ben Simner; Christopher Pulte; Peter Sewell2021
Summing up Smart TransitionsNeta Elad; Sophie Rain; Neil Immerman; Laura Kovacs; Mooly Sagiv2021
Stateless Model Checking Under a Reads-Value-From EquivalencePratyush Agarwal; Krishnendu Chatterjee; Shreya Pathak; Andreas Pavlogiannis; Viktor Toman2021
Gobra: Modular Specification and Verification of Go ProgramsFelix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; Joao C. Pereira; Peter Muller2021
Delay-Bounded Scheduling Without Delay!Andrew Johnson; Thomas Wahl2021
Checking Data-Race Freedom of GPU Kernels, CompositionallyTiago Cogumbreiro; Julien Lange; Dennis Liew Zhen Rong; Hannah Zicarelli2021
GenMC: A Model Checker for Weak Memory ModelsMichalis Kokologiannakis; Viktor Vafeiadis2021
123



制造业外文文献服务平台