. "Proceedings of 32th IEEE/NASA Software Engineering Workshop" . "software components; behavior specification; model-checking"@en . . "The more popular it is to build an application from reusable software components, the more desperate is the need for showing correctness of such a composition. This requires on one hand, being able to formally specify behavior of software components, while, on the other hand, providing appropriate tool support for verification of correctness of the composition. In this paper, we suggest use of the formalism of Extended Behavior Protocols and present a tool chain for verification of composition correctness of component applications. The advantage of the proposed approach is using a well-tested and supported model checker Spin as a backend. As a proof of the concept, we share our experience with application of the method."@en . "Making Components Fit: SPINing"@en . . "Kassandra" . . "2008-10-15+02:00"^^ . "[3958EFD70B8E]" . "IEEE Computer Society" . . . "Poch, T." . . . . . . "Los Alamitos" . "978-0-7695-3617-0" . "1"^^ . . "Making Components Fit: SPINing" . . . . "Kofro\u0148, Jan" . "RIV/67985807:_____/09:00334272!RIV10-AV0-67985807" . "The more popular it is to build an application from reusable software components, the more desperate is the need for showing correctness of such a composition. This requires on one hand, being able to formally specify behavior of software components, while, on the other hand, providing appropriate tool support for verification of correctness of the composition. In this paper, we suggest use of the formalism of Extended Behavior Protocols and present a tool chain for verification of composition correctness of component applications. The advantage of the proposed approach is using a well-tested and supported model checker Spin as a backend. As a proof of the concept, we share our experience with application of the method." . "3"^^ . "\u0160er\u00FD, O." . . "10"^^ . . . "P(GA201/06/0770), P(GD201/05/H014), Z(AV0Z10300504), Z(MSM0021620838)" . "Making Components Fit: SPINing" . "Making Components Fit: SPINing"@en . "324441" . "RIV/67985807:_____/09:00334272" . . .