Abstract. With formal techniques becoming more and more powerful, the next big challenge is making software verification practical and usable. The Eve verification environment contributes to this goal by seamlessly integrating a static prover and an automatic testing tool into a development environment. The paper discusses the general principles behind the integration of heterogeneous verification tools; the peculiar challenges involved in combining static proofs and dynamic testing techniques; and how the combination, implemented in Eve through a blackboard architecture, can improve the user experience with little overhead over usual development practices. Eve is freely available for download.
In our previous work REF , we have presented a verification tool that integrates static proofs and dynamic testing techniques.
Usable verification of objectoriented programs by combining static and dynamic techniques
In Proc. of SEFM, LNCS
Computer Science