Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution.
Boutheina BannourArnault LapitrePascale Le GallPublished in: NETYS (2020)
Keyphrases
- model checking
- symbolic execution
- timed automata
- partial order reduction
- specification language
- formal specification
- temporal logic
- finite state machines
- test generation
- static analysis
- test data generation
- model checker
- petri net
- automated verification
- formal verification
- temporal properties
- verification method
- symbolic model checking
- source code
- computation tree logic
- formal methods
- data flow
- epistemic logic
- general purpose
- bounded model checking
- transition systems
- concurrent systems
- np complete
- test cases
- theorem prover
- software engineering
- simulated annealing algorithm
- linear temporal logic
- domain specific