Login / Signup
统计算法选择对统计模型检测效率的影响分析 (Efficiency Analysis of Different Statistical Algorithms on Statistical Model Checking).
Wanling Gao
Mei Hong
Qiuhui Yang
He Zhao
Published in:
计算机科学 (2017)
Keyphrases
</>
model checking
temporal logic
deterministic finite automaton
formal verification
abstract interpretation
computational complexity
orders of magnitude
verification method
timed automata
finite state machines
epistemic logic
incremental algorithms
reachability analysis