登陆
注册
工具列表
Tool list
Spin
2020-06-01
119
-
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
This paper presents a new technique for optimizing formal analysis of Boolean formulas and Linear Te...
-
Model Checking Branching Time Properties for Incomplete Markov Chains
In this work, we discuss a numerical model checking algorithm for analyzing incompletely specified m...
-
Model Verification Through Dependency Graphs
Dependency graphs, as introduced more than 20 years ago by Liu and Smolka, are oriented graphs with ...
