Accelerating Syntax-Guided Invariant Synthesis-Reference-Cited by-同舟云学术

Accelerating Syntax-Guided Invariant Synthesis

Published:2018 Issue: Volume: Page:251-269
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Fedyukovich Grigory^ORCID,Bodík Rastislav

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-89960-2_14

Reference30 articles.

1. Alur, R., Bodík, R., Juniwal, G., Martin, M.M.K., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-guided synthesis. In: FMCAD, pp. 1–17. IEEE (2013)

2. Lecture Notes in Computer Science;D Beyer,2015

3. Lecture Notes in Computer Science;A Biere,1999

4. Lecture Notes in Computer Science;AR Bradley,2011

5. Lecture Notes in Computer Science;G Cabodi,2017

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

1. ReparamCAD: Zero-shot CAD Re-Parameterization for Interactive Manipulation;SIGGRAPH Asia 2023 Conference Papers;2023-12-10

2. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Automated Property Directed Self Composition;Automated Technology for Verification and Analysis;2023

4. Multi-phase invariant synthesis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. SMT-based verification of program changes through summary repair;Formal Methods in System Design;2022-06