Towards Automatic Inference of Inductive Invariants-Reference-Cited by-同舟云学术

Towards Automatic Inference of Inductive Invariants

Published:2019-05-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Workshop on Hot Topics in Operating Systems
language:
Short-container-title:

Author:

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

Affiliation:

1. University of Michigan

Publisher

ACM

Link

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

Reference44 articles.

1. IEEE Standard for System Verilog--Unified Hardware Design Specification and Verification Language. IEEE Std 1800-2017 (Revision of IEEE Std 1800-2012) pages 1--1315 Feb 2018. IEEE Standard for System Verilog--Unified Hardware Design Specification and Verification Language. IEEE Std 1800-2017 (Revision of IEEE Std 1800-2012) pages 1--1315 Feb 2018.

2. The Farsite project

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

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

1. Regularity and quantification: a new approach to verify distributed protocols;Innovations in Systems and Software Engineering;2022-09-29

2. On Symmetry and Quantification: A New Approach to Verify Distributed Protocols;Lecture Notes in Computer Science;2021

3. Posterior atlantoaxial facet joint reduction, fixation and fusion as revision surgery for failed suboccipital decompression in patients with basilar invagination and atlantoaxial dislocation: Operative nuances, challenges and outcomes;Clinical Neurology and Neurosurgery;2020-07

4. AVR: Abstractly Verifying Reachability;Tools and Algorithms for the Construction and Analysis of Systems;2020