MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.
CAV(2014)
摘要
Model checking has come of age. A number of techniques are increasingly used in industrial setting to verify hardware and software systems, both against models and concrete implementations. While it is generally accepted that obstacles still remain, notably handling infinite state systems efficiently, much of current work involves refining and improving existing techniques such as predicate abstraction.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络