A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE)（2025）
关键词
event-b,astd,deep embedding,state-based modelling,proof of consistency,rodin
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要