Seamless formal verification of complex event processing applications