# Guiding Formal Verification Orchestration Using Machine Learning Methods

> Research article (ACM Transactions on Design Automation of Electronic Systems, 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2997434955](https://www.wikidata.org/wiki/openalex:W2997434955)  
**Source**: https://4ort.xyz/entity/guiding-formal-verification-orchestration-using-machine-learning-methods