# OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications

> Research article (Online Journal of Communication and Media Technologies, 2023) · cited 18× · AI/ML

**Wikidata**: [openalex:W4387476758](https://www.wikidata.org/wiki/openalex:W4387476758)  
**Source**: https://4ort.xyz/entity/osm-leveraging-model-checking-for-observing-dynamic-behaviors-in-aspect-oriented-applications