# Forest GUMP: a tool for verification and explanation

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

**Wikidata**: [openalex:W4381542600](https://www.wikidata.org/wiki/openalex:W4381542600)  
**Source**: https://4ort.xyz/entity/forest-gump-a-tool-for-verification-and-explanation