Seamless formal verification of complex event processing applications
AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö · 2007
Despite proven successful in previous projects, the use of formal methods for enhancing quality of software is still not used in its full potential in industry. We argue that seamless support for formal verification in a high-level specification tool enhances the attractiveness of using a formal approach for increasing software quality.