Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)(2021)

引用 1|浏览8
暂无评分
摘要
Stepwise development supported by the Event-B formalism has been used in the domain of system design and verification. This refinement approach guarantees that safety properties are preserved, while additional reasoning is required to prove the preservation of liveness properties. Our previous work proposes to use real-time trigger-response properties to reason about liveness properties and timed ...
更多
查看译文
关键词
Protocols,System recovery,Real-time systems,Cognition,Safety,Collision avoidance,System analysis and design
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要