HiFrog: SMT-based Function Summarization for Software Verification-Reference-Cited by-同舟云学术

HiFrog: SMT-based Function Summarization for Software Verification

Published:2017 Issue: Volume: Page:207-213
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Alt Leonardo,Asadi Sepideh,Chockler Hana,Even Mendoza Karine,Fedyukovich Grigory,Hyvärinen Antti E. J.,Sharygina Natasha

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54580-5_12

Reference13 articles.

1. Lecture Notes in Computer Science;L Alt,2016

2. Alt, L., Hyvärinen, A.E.J., Sharygina, N.: Duality-based interpolation for quantifier-free equalities and uninterpreted functions (2016). http://www.inf.usi.ch/postdoc/hyvarinen/euf-interpolation.pdf

3. Beyer, D., Löwe, S., Novikov, E., Stahlbauer, A., Wendler, P.: Precision reuse for efficient regression verification. In: ESEC/FSE, pp. 389–399. ACM (2013)

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

5. Cordeiro, L.C., de Lima Filho, E.B.: SMT-based context-bounded model checking for embedded systems: challenges and future trends. ACM SIGSOFT Softw. Eng. Notes 41(3), 1–6 (2016)

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

1. Decomposing Software Verification using Distributed Summary Synthesis;Proceedings of the ACM on Software Engineering;2024-07-12

2. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software;Proceedings of the ACM on Software Engineering;2024-07-12

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

4. Proof-Guided Underapproximation Widening for Bounded Model Checking;Computer Aided Verification;2022

5. Transition Power Abstractions for Deep Counterexample Detection;Tools and Algorithms for the Construction and Analysis of Systems;2022