Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+.
Jerzy MartynaPublished in: CN (2010)
Keyphrases
- formal verification
- wireless sensor networks
- model checking
- temporal logic
- automated verification
- discrete event simulation
- model checker
- mathematical model
- bounded model checking
- symbolic model checking
- energy consumption
- agent based modeling
- electro mechanical systems
- modeling language
- energy efficient
- program slicing