# A feature-based classification of formal verification techniques for software models

> Research article (Software & Systems Modeling, 2017) · cited 22× · AI/ML

**Wikidata**: [openalex:W2600028506](https://www.wikidata.org/wiki/openalex:W2600028506)  
**Source**: https://4ort.xyz/entity/a-feature-based-classification-of-formal-verification-techniques-for-software-models