Extraction of missing formal assumptions in under-constrained designs-Reference-Cited by-同舟云学术

Extraction of missing formal assumptions in under-constrained designs

Published:2017-09-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
language:
Short-container-title:

Author:

Plassan Guillaume¹,Morin-Allory Katell¹,Borrione Dominique¹

Affiliation:

1. Univ. Grenoble Alpes, CNRS, Grenoble INP, Grenoble, France

Publisher

ACM

Link

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

Reference19 articles.

1. 2010. IEEE Standard for Property Specification Language (PSL). 2010. IEEE Standard for Property Specification Language (PSL).

2. Martín Abadi Leslie Lamport and Pierre Wolper. 1989. Realizable and unrealizable specifications of reactive systems. In ICALP. 1--17. Martín Abadi Leslie Lamport and Pierre Wolper. 1989. Realizable and unrealizable specifications of reactive systems. In ICALP . 1--17.

3. Accellera. Accessed April 2014. Open Verification Library (OVL). http://accellera.org/activities/working-groups/ovl Accellera. Accessed April 2014. Open Verification Library (OVL) . http://accellera.org/activities/working-groups/ovl

4. Michele Bertasi Giuseppe Di Guglielmo and Graziano Pravadelli. 2013. Automatic generation of compact formal properties for effective error detection. In CODES+ISSS. IEEE 1--10. Michele Bertasi Giuseppe Di Guglielmo and Graziano Pravadelli. 2013. Automatic generation of compact formal properties for effective error detection. In CODES+ISSS . IEEE 1--10.

5. Robert K. Brayton and Alan Mishchenko. 2010. ABC: An Academic Industrial-Strength Verification Tool. In CAV. 24--40. 10.1007/978-3-642-14295-6_5 Robert K. Brayton and Alan Mishchenko. 2010. ABC: An Academic Industrial-Strength Verification Tool. In CAV . 24--40. 10.1007/978-3-642-14295-6_5

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

1. Mining Missing Assumptions from Counter-Examples;ACM Transactions on Embedded Computing Systems;2019-01-31