Integrated Environment for Verifying and Running Distributed Components [chapter]

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
2016 Lecture Notes in Computer Science  
This paper targets the generation of distributed applications with safety guarantees. The proposed approach starts from graphical specification formalisms allowing the architectural and behavioral description of component systems. From this point, the user can automatically verify application properties using model-checking techniques. Finally, the specified and verified component model can be translated into executable Java code. We implement our approach in a tool suite distributed as an
more » ... se plugin. This paper also illustrates our approach by modeling and verifying Peterson's leader election algorithm.
doi:10.1007/978-3-662-49665-7_5 fatcat:fxmcskjuj5hdrmdvl2ualri6ze