Using Statistical Model Checking for Cybersecurity Analysis.

Carlos E. Budde

Published in: CyberSec4Europe (2022)

Keyphrases

model checking
temporal logic
bounded model checking
search algorithm
finite state
epistemic logic
reachability analysis
belief revision
dynamic analysis
asynchronous circuits
verification method
symbolic model checking
automated verification