Author:
Polgreen Elizabeth,Reynolds Andrew,Seshia Sanjit A.
Publisher
Springer International Publishing
Reference30 articles.
1. Sygus competition. https://sygus.org/. Accessed 19 May 2021
2. Abate, A., et al.: Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Inform. 57(1–2), 223–244 (2020)
3. Lecture Notes in Computer Science;A Abate,2018
4. Alur, R., et al.: Syntax-guided synthesis. In: Dependable Software Systems Engineering. NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 40, pp. 1–25. IOS Press (2015)
5. Lecture Notes in Computer Science;R Alur,2017
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lifting Micro-Update Models from RTL for Formal Security Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
2. The SemGuS Toolkit;Lecture Notes in Computer Science;2024
3. Interactive Theorem Proving Modulo Fuzzing;Lecture Notes in Computer Science;2024
4. C2TACO: Lifting Tensor Code to TACO;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
5. Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing;Proceedings of the ACM on Programming Languages;2022-10-31