Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)(2021)
摘要
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
正在生成论文摘要