# Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping

> Research article (2016 Euromicro Conference on Digital System Design (DSD), 2016) · cited 13× · AI/ML

**Wikidata**: [openalex:W2540273530](https://www.wikidata.org/wiki/openalex:W2540273530)  
**Source**: https://4ort.xyz/entity/verifying-linear-temporal-logic-properties-in-uml-ocl-class-diagrams-using-filmstripping