# Efficient verification of multi-property designs (The benefit of wrong assumptions)

> Research article (2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018) · cited 15× · AI/ML

**Wikidata**: [openalex:W2798313665](https://www.wikidata.org/wiki/openalex:W2798313665)  
**Source**: https://4ort.xyz/entity/efficient-verification-of-multi-property-designs-the-benefit-of-wrong-assumptions