HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.