Login / Signup
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.
Alejandro Rodríguez
Lars Michael Kristensen
Adrian Rutle
Published in:
PNSE@Petri Nets/ACSD (2019)
Keyphrases
</>
model checking
temporal logic
verification method
model checker
bounded model checking
temporal properties
formal verification
reinforcement learning
formal specification
concurrent systems
linear temporal logic
reachability analysis
computation tree logic