real time verification for env safety violation