Automatic Refinement for Event-B through Annotated Patterns
Résumé
In this paper, we investigate how patterns could be used in order to generate Event-B refinements automatically through DSL(s) for temporal, timed or distribution patterns. Our ultimate goal is to generate code for a concurrent, or distributed framework, e.g., BIP.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...