# To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

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

**Wikidata**: [openalex:W2594846402](https://www.wikidata.org/wiki/openalex:W2594846402)  
**Source**: https://4ort.xyz/entity/to-split-or-to-group-from-divide-and-conquer-to-sub-task-sharing-for-verifying-multiple-properties-in-model-checking