# SMT solving for the validation of B and Event-B models

> Research article (International Journal on Software Tools for Technology Transfer, 2022) · cited 11× · AI/ML

**Wikidata**: [openalex:W4309643803](https://www.wikidata.org/wiki/openalex:W4309643803)  
**Source**: https://4ort.xyz/entity/smt-solving-for-the-validation-of-b-and-event-b-models