Formalized_Streaming_Monitor