Login / Signup
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.
Alejandro Rodríguez
Lars Michael Kristensen
Adrian Rutle
Published in:
Trans. Petri Nets Other Model. Concurr. (2021)
Keyphrases
</>
model checking
learning algorithm
high level
data structure
decision trees
computationally efficient
orders of magnitude
computational complexity
significant improvement
theoretical analysis
machine learning algorithms
line segments
signature verification
formal verification
model checker