Specification and Generation of Environment for Model Checking of Software Components

0090204 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Pařízek, P. - Plášil, František
Specification and Generation of Environment for Model Checking of Software Components.
[Specifikace a generování prostředí pro model checking softwarových komponent.]
Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. ISSN 1571-0661
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * model checking * automated generation of environment
Kód oboru RIV: JC - Počítačový hardware a software

Citováno: 4

--- TKACHUK, O. - DWYER, M.B. Environment generation for validating event-driven software using model checking. IET SOFTWARE. ISSN 1751-8806, JUN 2010, vol. 4, no. 3, p. 194-209. [WOS]
--- SEINTURIER, L. - MERLE, P. - ROUVOY, R. - ROMERO, D. - SCHIAVONI, V. - STEFANI, J.B. A component-based middleware platform for reconfigurable service-oriented architectures. SOFTWARE-PRACTICE & EXPERIENCE. ISSN 0038-0644, MAY 2012, vol. 42, no. 5, p. 559-583. [WOS]
--- CARVER, R.H. - LEI, Y. Distributed reachability testing of concurrent programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE. ISSN 1532-0626, DEC 25 2010, vol. 22, no. 18, p. 2445-2466. [WOS]
--- BERNARDO, M. - BONTA, E. - ALDINI, A. Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. JOURNAL OF SYSTEMS AND SOFTWARE. ISSN 0164-1212, AUG 2010, vol. 83, no. 8, SI, p. 1404-1429. [WOS]

Trvalý link: http://hdl.handle.net/11104/0151179