# EVM: Incorporating Model Checking into Exploratory Visual Analysis

> Research article (IEEE Transactions on Visualization and Computer Graphics, 2023) · cited 15× · AI/ML

**Wikidata**: [openalex:W4387885925](https://www.wikidata.org/wiki/openalex:W4387885925)  
**Source**: https://4ort.xyz/entity/evm-incorporating-model-checking-into-exploratory-visual-analysis