Login / Signup

Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach.

Ehsan KhamespanahMorteza MohaqeqiMohammad AshjaeiMarjan 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