Login / Signup
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.
Ehsan Khamespanah
Morteza Mohaqeqi
Mohammad Ashjaei
Marjan Sirjani
Published in:
ETFA (2022)
Keyphrases
</>
model checking
temporal logic
dynamic analysis
temporal properties
static analysis
automated verification
model checker
verification method
finite state machines
formal verification
pspace complete
transition systems
bounded model checking
abstract interpretation