Benchmark Tests for the Model-Checking-Based IDS Algorithms.

Miaolei Deng Heling Cao Weijun Zhu Huanmei Wu Yangyue Zhou

Published in: IEEE Access (2019)

Keyphrases

model checking
benchmark tests
temporal logic
finite state
formal specification
reachability analysis
temporal properties
orders of magnitude
model checker
symbolic model checking
timed automata
formal verification
computation tree logic
automated verification
web services
formal methods
multi agent systems