Global Guidance for Local Generalization in Model Checking-Reference-Cited by-同舟云学术

Global Guidance for Local Generalization in Model Checking

Published:2020 Issue: Volume: Page:101-125
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Vediramana Krishnan Hari Govind,Chen YuTing,Shoham Sharon,Gurfinkel Arie

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_7

Reference28 articles.

1. Lecture Notes in Computer Science;A Albarghouthi,2013

2. Benoy, F., King, A., Mesnard, F.: Computing convex hulls with a linear solver. TPLP 5(1–2), 259–271 (2005)

3. Lecture Notes in Computer Science;J Birgmeier,2014

4. Lecture Notes in Computer Science;N Bjørner,2015

5. Bjørner, N., Janota, M.: Playing with quantified satisfaction. In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, 24–28 November 2015, pp. 15–27 (2015)

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021;Formal Methods in System Design;2024-07-25

2. Neural Solving Uninterpreted Predicates with Abstract Gradient Descent;ACM Transactions on Software Engineering and Methodology;2024-07-02

3. Inductive Approach to Spacer;Proceedings of the ACM on Programming Languages;2024-06-20

4. DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22

5. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning;Lecture Notes in Computer Science;2024