Automatic Refinement for Event-B through Annotated Patterns

Badr Siala,Jean-Paul Bodeveix,Mamoun Filali,Mohamed Tahar Bhiri

2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)（2017）

引用 1|浏览18

暂无评分

摘要

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.

查看译文

关键词

Formal methods,Distributed systems,correct by construction,Event-B,BIP,patterns

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要