Login / Signup
The detection of Udpstorm attacks based on model checking linear temporal logic.
Miaolei Deng
Kai Nie
Weijun Zhu
Chunyan Zhang
Published in:
Autom. Control. Comput. Sci. (2017)
Keyphrases
</>
linear temporal logic
model checking
temporal logic
bounded model checking
formal verification
model checker
formal specification
finite state
temporal properties
symbolic model checking
automated verification
epistemic logic
formal methods
computation tree logic
transition systems
planning domains