Model Checking a Video-on-Demand Server Using McErlang.
Lars-Åke FredlundJuan José Sánchez PenasPublished in: EUROCAST (2007)
Keyphrases
- video on demand
- model checking
- network bandwidth
- temporal logic
- digital video
- temporal properties
- quality of service
- video streaming
- automated verification
- multimedia content
- model checker
- streaming media
- formal specification
- formal verification
- computation tree logic
- verification method
- symbolic model checking
- transition systems
- epistemic logic
- video conferencing
- peer to peer
- formal methods
- multimedia services
- bounded model checking
- file sharing
- image quality
- computational complexity
- database
- low complexity
- network traffic
- multimedia