Real-time analysis of resource-constrained distributed systems by simulation-guided model checking.
Gabor MadlNikil D. DuttPublished in: SIGBED Rev. (2008)
Keyphrases
- distributed systems
- model checking
- resource constrained
- concurrent systems
- real time
- temporal logic
- real time systems
- temporal properties
- fault tolerant
- wireless sensor networks
- distributed environment
- formal specification
- resource constraints
- computation tree logic
- formal verification
- sensor networks
- mobile agents
- verification method
- computational complexity
- timed automata
- database systems