SOG-Based Multi-Core LTL Model Checking

Chiheb Ameur Abid,Kaïs Klai Kaïs Klai,Jaime Arias,Hiba Ouni

2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom)（2020）

引用 1|浏览6

暂无评分

摘要

The model checking is one of the major techniques used in the formal verification. This technique builds on an automatic procedure that takes a model $M$ of a system and a formula $\varphi$ expressing a temporal property, and decides whether the system satisfies the property (denoted by $M\models\varphi)$. The model checking technique is based on an exhaustive exploration of the state space of the...

查看译文

关键词

Runtime,Scalability,Prototypes,C++ languages,Model checking,Tools,Explosions

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要