Multi-phase invariant synthesis-Reference-Cited by-同舟云学术

Multi-phase invariant synthesis

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Riley Daniel¹,Fedyukovich Grigory¹

Affiliation:

1. Florida State University, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3540250.3549166

Reference64 articles.

1. Rajeev Alur , Rastislav Bodík , Garvit Juniwal , Milo M. K. Martin , Mukund Raghothaman , Sanjit A. Seshia , Rishabh Singh , Armando Solar-Lezama , Emina Torlak , and Abhishek Udupa . 2013. Syntax-Guided Synthesis . In FMCAD. IEEE , 1–17. Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-Guided Synthesis. In FMCAD. IEEE, 1–17.

2. A constraint-based approach to solving games on infinite graphs

3. Dirk Beyer , Matthias Dangl , and Philipp Wendler . 2015 . Boosting k-Induction with Continuously-Refined Invariants. In CAV , Part I (LNCS , Vol. 9206). 622– 640 . Dirk Beyer, Matthias Dangl, and Philipp Wendler. 2015. Boosting k-Induction with Continuously-Refined Invariants. In CAV, Part I (LNCS, Vol. 9206). 622–640.

4. Path invariants

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

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

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

3. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

5. Lockstep Composition for Unbalanced Loops;Tools and Algorithms for the Construction and Analysis of Systems;2023