# Evaluating the suitability of state‐based formal methods for industrial deployment

> Research article (Software Practice and Experience, 2018) · cited 27× · AI/ML

**Wikidata**: [openalex:W2890861406](https://www.wikidata.org/wiki/openalex:W2890861406)  
**Source**: https://4ort.xyz/entity/evaluating-the-suitability-of-statebased-formal-methods-for-industrial-deployment