Number of the records: 1
Specification and Generation of Environment for Model Checking of Software Components
- 1.
SYSNO ASEP 0090204 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve SCOPUS Title Specification and Generation of Environment for Model Checking of Software Components Title Specifikace a generování prostředí pro model checking softwarových komponent Author(s) Pařízek, P. (CZ)
Plášil, František (UIVT-O) RIDSource Title Electronic Notes in Theoretical Computer Science. - : Elsevier - ISSN 1571-0661
Roč. 176, - (2007), s. 143-154Number of pages 12 s. Language eng - English Country NL - Netherlands Keywords software components ; behavior protocols ; model checking ; automated generation of environment Subject RIV JC - Computer Hardware ; Software R&D Projects 1ET400300504 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) EID SCOPUS 34248636772 DOI 10.1016/j.entcs.2006.02.036 Annotation Model checking of isolated software components is inherently not possible because a component does not form a complete program with an explicit starting point. To overcome this obstacle, it is typically necessary to create an environment of the component which is the intended subject to model checking. We present our approach to automated environment generation that is based on behavior protocols; to our knowledge, this is the only environment generator designed for model checking of software components. We compare it with the approach taken in the Bandera Environment Generator tool, designed for model checking of sets of Java classes. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2008
Number of the records: 1