Počet záznamů: 1
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
- 1.
SYSNO ASEP 0334355 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Assume-Guarantee Verification of Software Components in SOFA 2 Framework Překlad názvu Verifikace softwarových komponent ve frameworku SOFA 2 způsobem assume-guarantee Tvůrce(i) Parízek, P. (CZ)
Plášil, František (UIVT-O) RIDZdroj.dok. IET Software - ISSN 1751-8806
Roč. 4, č. 3 (2010), s. 210-221Poč.str. 12 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova components ; software verification ; model checking Vědní obor RIV JC - Počítačový hardware a software CEP 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000279258600004 EID SCOPUS 77955204637 DOI https://doi.org/10.1049/iet-sen.2009.0016 Anotace A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be model-checked directly. A typical solution is to create an artificial environment for the component such that composition of them forms a runnable program that can be model-checked. While it is possible to create a universal environment that performs all possible sequences and interleavings of calls of the component’s methods, for practical purposes it is sufficient to capture in this way just the use of the component in a particular software system – this idea is expressed by the paradigm of assume-guarantee reasoning. In this paper, we present our approach to assume-guarantee-based verification of software systems in the context of the SOFA 2 component framework. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1