Keyword:correct-by-construction

Papers
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem and Mohamed Mosbah In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation