Neural termination analysis-Reference-Cited by-同舟云学术

Neural termination analysis

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:

Giacobbe Mirco¹,Kroening Daniel²,Parsert Julian²

Affiliation:

1. University of Birmingham, UK

2. University of Oxford, UK

Funder

Aerospace Technology Institute

Department for Business, Energy & Industrial Strategy

Innovate UK

Oxford-DeepMind Graduate Scholarship

Engineering and Physical Sciences Research Council (EPSRC)

Publisher

ACM

Link

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

Reference111 articles.

1. 2022. OpenSSL Security Advisory [15 March 2022 ]. https://www.openssl.org/news/secadv/20220315.txt 2022. OpenSSL Security Advisory [15 March 2022]. https://www.openssl.org/news/secadv/20220315.txt

2. FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks;Abate Alessandro;HSCC. ACM,2021

3. Formal Synthesis of Lyapunov Neural Networks

4. Alessandro Abate , Mirco Giacobbe , and Diptarko Roy . 2021. Learning Probabilistic Termination Proofs . In CAV (2) (LNCS , Vol. 12760). Springer, 3– 26 . Alessandro Abate, Mirco Giacobbe, and Diptarko Roy. 2021. Learning Probabilistic Termination Proofs. In CAV (2) (LNCS, Vol. 12760). Springer, 3–26.

5. Elvira Albert , Puri Arenas , Samir Genaim , German Puebla , and Damiano Zanardini . 2007 . COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode . In FMCO (LNCS , Vol. 5382). Springer, 113– 132 . Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, and Damiano Zanardini. 2007. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. In FMCO (LNCS, Vol. 5382). Springer, 113–132.

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

1. TerGEC: A graph enhanced contrastive approach for program termination analysis;Science of Computer Programming;2024-10

2. Can ChatGPT support software verification?;Lecture Notes in Computer Science;2024

3. NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis;Lecture Notes in Computer Science;2024

4. Data-driven Recurrent Set Learning For Non-termination Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

5. VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution);Tools and Algorithms for the Construction and Analysis of Systems;2023