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

Proceedings Real-Time Systems Symposium, 1997 - ieeexplore.ieee.org
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
被引用次数：261 相关文章

Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - BRICS Report Series, 1997 - cir.nii.ac.jp
抄録< jats: p> A formal and automatic verification of a real-life protocol is presented. The
protocol, about 2800 lines of assembler code, has been used in products from the …
[PDF] tidsskrift.dk

[PDF][PDF] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - 1997 - tidsskrift.dk
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
[PDF] researchgate.net

[PDF][PDF] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - 1997 - researchgate.net
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
[PDF] psu.edu

[PDF][PDF] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - 1997 - Citeseer
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
[PDF] brics.dk

[PDF][PDF] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - 1997 - brics.dk
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
[PDF] academia.edu

[PDF][PDF] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - 1997 - academia.edu
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
[PS] uu.se

[PS][PS] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL?

K Havelund, A Skou, KG Larsen, K Lund - it.uu.se
A formal and automatic veri cation of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …

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

K Havelund, A Skou, KG Larsen, K Lund - … of the 18th IEEE Real-Time …, 1997 - dl.acm.org
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …
[PDF] archive.org

[PDF][PDF] Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

K Havelund, A Skou, KG Larsen, K Lund - 1997 - scholar.archive.org
A formal and automatic verification of a real-life protocol is presented. The protocol, about
2800 lines of assembler code, has been used in products from the audio/video company …