Runtime Verification (no affiliation, just know some people who have worked with or for them) are working on tools and providing services for things like this

Runtime Verification (no affiliation, just know some people who have worked with or for them) are working on tools and providing services for things like this https://runtimeverification.com/ https://runtimeverification.com/