Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks.

Published in: Simul. Model. Pract. Theory (2017)

Keyphrases

analytical model
model checker
model checking
temporal logic
analytical models
formal methods
formal verification
simulation model
formal specification
description language
np hard
symbolic model checking
set theory
specification language
test suite
error rate
rough sets
data mining