Number of the records: 1
Specification and Generation of Environment for Model Checking of Software Components
- 1.0090204 - ÚI 2008 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior protocols * model checking * automated generation of environment
Subject RIV: JC - Computer Hardware ; Software
Cited: 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]
Permanent Link: http://hdl.handle.net/11104/0151179
Number of the records: 1