2012/10/27 by David Basin, Andreas Fürst, Basin, David +7
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1210.7283
In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012
arxiv created 2012/10/27 · openalex publication_date 2012/10/27 · arxiv updated 2012/10/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one hand, there are domain engineers who have specific knowledge of the system under development. On the other hand, there are formal methods experts who have experience in rigorously specifying and reasoning about formal systems. Coordination between these groups is important for taking advantage of their expertise. In this paper, we describe our approach of using generic instantiation to facilitate this coordination. In particular, generic instantiation enables a separation of concerns between the different parties involved in developing formal systems.