# Early validation of system requirements and design through correctness-by-construction

> Research article (Journal of Systems and Software, 2018) · cited 37× · AI/ML

**Wikidata**: [openalex:W2883923596](https://www.wikidata.org/wiki/openalex:W2883923596)  
**Source**: https://4ort.xyz/entity/early-validation-of-system-requirements-and-design-through-correctness-by-construction