# Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations

> Research article (Information and Software Technology, 2018) · cited 26× · AI/ML

**Wikidata**: [openalex:W2790657555](https://www.wikidata.org/wiki/openalex:W2790657555)  
**Source**: https://4ort.xyz/entity/searching-for-violation-of-safety-and-liveness-properties-using-knowledge-discovery-in-complex-systems-specified-through