jMosel: a stand-alone tool and jABC plugin for M2L(str)

Christian Topnik,Eva Wilhelm,Tiziana Margaria,Bernhard Steffen

MODEL CHECKING SOFTWARE, PROCEEDINGS（2006）

引用 30|浏览0

暂无评分

摘要

jMosel is a tool-set for the analysis and verification of linear parametric systems in monadic second-order logic on strings. In this paper we give a short introduction to the underlying concepts, as well as an overview of the implementation and the usage of jMosel.

查看译文

关键词

stand-alone tool,jabc plugin,underlying concept,monadic second-order logic,short introduction,linear parametric system

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要