FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC

Maurice H. ter Beek,Ferruccio Damiani,Michael Lienhardt,Franco Mazzanti,Luca Paolini,Giordano Scarso

Science of Computer Programming（2022）

引用 0|浏览29

暂无评分

摘要

FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition System (MTS), and interact with the VMC model checker for family-based verification.

查看译文

关键词

Variability,Static analysis,Model checking,Featured Transition Systems,Modal Transition Systems

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要