@inproceedings{fac5015cf5444defbc452849db1cbb54,
title = "Verifying software streaming systems",
abstract = "Software streaming is an emerging technology that enables S/W applications to be executed on-demand without download and installation, so that the applications are available virtually everywhere in the network. In developing software streaming systems, the engine and protocols must be carefully designed since the performance and reliability of the streamed software are directly affected by that of streaming engine and network status. In this paper, we present the application of formal verification in the design and implementation of the software streaming systems to take precautions against any potential defects. To achieve this goal, we use the model checker SPIN to model and verify the base architecture and protocol of the system. The effects of the use of formal verification is much more satisfactory than we expected.",
keywords = "Feaver, Formal verification, MODEX, Model checking, SPIN, Software streaming",
author = "Nam, {Ki Hyuk} and Park, {Jun Kil} and Choi, {Jin Young} and Lee, {Jeong Joon} and Wan Choi",
note = "Copyright: Copyright 2011 Elsevier B.V., All rights reserved.; 8th International Conference Advanced Communication Technology, ICACT 2006 ; Conference date: 20-02-2006 Through 22-02-2006",
year = "2006",
language = "English",
isbn = "8955191294",
series = "8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings",
pages = "367--371",
booktitle = "8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings",
}