Model Checking Optimisation Based Congestion Control Algorithms.
Alessio LomuscioBen StruloNigel G. WalkerPeng WuPublished in: Fundam. Informaticae (2010)
Keyphrases
- model checking
- temporal logic
- deterministic finite automaton
- formal specification
- data structure
- congestion control
- bounded model checking
- formal methods
- automated verification
- finite state
- epistemic logic
- verification method
- convergence rate
- temporal properties
- symbolic model checking
- timed automata
- end to end
- reachability analysis
- computational complexity