I know AWS uses it heavily in distributed algorithm/system domain. I’m wondering if this is also useful for verification in other domains like data modeling an

I know AWS uses it heavily in distributed algorithm/system domain. I’m wondering if this is also useful for verification in other domains like data modeling and machine learning. So far I haven’t seen too much TLA used outside the core system/infra engineering/database groups