Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.
RIGOROUS STATE-BASED METHODS, ABZ 2023（2023）
关键词
Reflection,Refinement and Proof,Meta-theory,Reachability,Deadlock-Freeness,Invariant weakness,EB4EB framework,Event-B
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要