Model checking real-time conditional commitment logic using transformation.

Mohamed El-Menshawy,Jamal Bentahar,Warda El Kholy,Amine Laarej

Journal of Systems and Software（2018）

引用 13|浏览3

暂无评分

摘要

•Developing algorithms transforming model checking RTCTLcc into model checking RTCTL.•Implementing a transformation toolkit engine with user interface on top of NuSMV.•Proving the soundness of the transformation technique.•Analyzing the time and space computational complexity of the RTCTLcc model checking.

查看译文

关键词

Real-time,Qualitative and quantitative commitment requirements,Transformation technique,Complexity

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要