Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.

Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund

Browse the full RTSS paper archive.