长垣产业园区科技文献服务平台

会议文集


文集名Verification, Model Checking, and Abstract Interpretation
会议名22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021)
中译名《第二十二届国际验证、模型检验与抽象解释会议》
会议日期January 17-19, 2021
会议地点Copenhagen, Denmark
出版年2021
馆藏号337593


题名作者出版年
Model Checking Algorithms for Hyperproperties (Invited Paper)Bernd Finkbeiner2021
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)Andreas Humenberger; Laura Kovacs2021
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)Bernhard Steffen; Alnis Murtovi2021
Compositional Model Checking for Multi-propertiesOhad Goudsmid; Orna Grumberg; Sarai Sheinvald2021
Decomposing Data Structure Commutativity Proofs with mn-DifferencingEric Koskinen; Kshitij Bansal2021
Proving the Existence of Fair Paths in Infinite-State SystemsAlessandro Cimatti; Alberto Griggio; Enrico Magnago2021
A Self-certifying Compilation Framework for WebAssemblyKedar S. Namjoshi; Anton Xue2021
Concurrent Correctness in Vector SpaceChristina Peterson; Victor Cook; Damian Dechev2021
Verification of Concurrent Programs Using Petri Net UnfoldingsDaniel Dietsch; Matthias Heizmann; Dominik Klumpp; Mehdi Naouar; Andreas Podelski; Claus Schatzle2021
Eliminating Message Counters in Synchronous Threshold AutomataIlina Stoilkovska; Igor Konnov; Josef Widder; Florian Zuleger2021
A Reduction Theorem for Randomized Distributed Algorithms Under Weak AdversariesNathalie Bertrand; Marijana Lazic; Josef Widder2021
Runtime Abstract Interpretation for Numerical Accuracy and RobustnessFranck Vedrine; Maxime Jacquemin; Nikolai Kosmatov; Julien Signoles2021
Twinning Automata and Regular Expressions for String Static AnalysisLuca Negrini; Vincenzo Arceri; Pietro Ferrara; Agostino Cortesi2021
Unbounded Procedure Summaries from Bounded EnvironmentsLauren Pick; Grigory Fedyukovich; Aarti Gupta2021
Syntax-Guided Synthesis for Lemma Generation in Hardware Model CheckingHongce Zhang; Aarti Gupta; Sharad Malik2021
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as InfeasibleMarius Kamp; Michael Philippsen2021
Automated Repair of Heap-Manipulating Programs Using Deductive SynthesisThanh-Toan Nguyen; Quang-Trung Ta; Ilya Sergey; Wei-Ngan Chin2021
GPURepair: Automated Repair of GPU KernelsSaurabh Joshi; Gautam Muduganti2021
A Synchronous Effects Logic for Temporal Verification of Pure EsterelYahui Song; Wei-Ngan Chin2021
A Design of GPU-Based Quantitative Model CheckingYoungMin Kwon; Eunhee Kim2021
12



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