Login / Signup
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach.
Ehsan Khamespanah
Morteza Mohaqeqi
Mohammad Ashjaei
Marjan Sirjani
Published in:
CoRR (2022)
Keyphrases
</>
model checking
temporal logic
finite state
formal specification
finite state machines
model checker
reachability analysis
formal methods
verification method
partial order reduction