Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems.
Matteo CasadeiMirko ViroliPublished in: SASO Workshops (2012)
Keyphrases
- model checking
- pervasive computing
- automated verification
- temporal logic
- formal methods
- finite state machines
- reactive systems
- finite state
- model checker
- asynchronous circuits
- temporal properties
- artifact centric
- ubiquitous computing
- formal verification
- formal specification
- symbolic model checking
- expert systems
- mobile devices
- mobile computing
- context aware
- management system
- timed automata
- transition systems
- bounded model checking
- smart environments
- smart home
- daily life
- computing environments
- test cases
- machine learning
- computation tree logic