The design and implementation of formal monitoring techniques