I4-Reference-Cited by-同舟云学术

Published:2019-10-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Ma Haojun¹,Goel Aman¹,Jeannin Jean-Baptiste¹,Kapritsos Manos¹,Kasikci Baris¹,Sakallah Karem A.¹

Affiliation:

1. University of Michigan

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference58 articles.

1. Verification Modulo Theories. http://www.vmt-lib.org. Verification Modulo Theories. http://www.vmt-lib.org.

2. Personal communication with authors 2019. Personal communication with authors 2019.

3. C. Barrett P. Fontaine and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org 2016. C. Barrett P. Fontaine and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org 2016.

4. The Farsite project

5. SELECT---a formal system for testing and debugging programs by symbolic execution

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

1. Leveraging Datapath Propagation in IC3 for Hardware Model Checking;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-07

2. Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions;Proceedings of the ACM on Programming Languages;2024-01-05

3. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05

4. Regular Abstractions for Array Systems;Proceedings of the ACM on Programming Languages;2024-01-05

5. Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas;Lecture Notes in Computer Science;2024