Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978208568> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1978208568 abstract "In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. In our approach, we employ parallel LTL-like model checking to handle the size of the model. We present the results of the actual application of the technique to the verification of a complex model of a real system created within the CoCoME Modelling Contest [Zimmerova, B., P. Varekova, N. Benes, I. Cerna, L. Brim and J. Sochor, ''The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn),'' To appear in LNCS, 2007]. In this case study, we check the validity of the model and the correctness of the system via checking various temporal properties. We concentrate on the component-specific properties, like local deadlocks of components, and correctness of given use-case scenarios." @default.
- W1978208568 created "2016-06-24" @default.
- W1978208568 creator A5003565623 @default.
- W1978208568 creator A5003657164 @default.
- W1978208568 creator A5014178090 @default.
- W1978208568 creator A5020423034 @default.
- W1978208568 creator A5045342585 @default.
- W1978208568 date "2008-12-01" @default.
- W1978208568 modified "2023-10-05" @default.
- W1978208568 title "A Case Study in Parallel Verification of Component-Based Systems" @default.
- W1978208568 cites W1495937566 @default.
- W1978208568 cites W1503466301 @default.
- W1978208568 cites W1512310098 @default.
- W1978208568 cites W1557306624 @default.
- W1978208568 cites W1582517610 @default.
- W1978208568 cites W1598029876 @default.
- W1978208568 cites W181213310 @default.
- W1978208568 cites W1871610027 @default.
- W1978208568 cites W1989576632 @default.
- W1978208568 cites W2023808162 @default.
- W1978208568 cites W2120926795 @default.
- W1978208568 cites W2137948900 @default.
- W1978208568 cites W2161335886 @default.
- W1978208568 cites W2222603203 @default.
- W1978208568 cites W2621834429 @default.
- W1978208568 cites W2762588455 @default.
- W1978208568 cites W333527978 @default.
- W1978208568 cites W95568510 @default.
- W1978208568 cites W1964439412 @default.
- W1978208568 doi "https://doi.org/10.1016/j.entcs.2008.11.014" @default.
- W1978208568 hasPublicationYear "2008" @default.
- W1978208568 type Work @default.
- W1978208568 sameAs 1978208568 @default.
- W1978208568 citedByCount "5" @default.
- W1978208568 countsByYear W19782085682016 @default.
- W1978208568 countsByYear W19782085682019 @default.
- W1978208568 crossrefType "journal-article" @default.
- W1978208568 hasAuthorship W1978208568A5003565623 @default.
- W1978208568 hasAuthorship W1978208568A5003657164 @default.
- W1978208568 hasAuthorship W1978208568A5014178090 @default.
- W1978208568 hasAuthorship W1978208568A5020423034 @default.
- W1978208568 hasAuthorship W1978208568A5045342585 @default.
- W1978208568 hasBestOaLocation W19782085681 @default.
- W1978208568 hasConcept C121332964 @default.
- W1978208568 hasConcept C168167062 @default.
- W1978208568 hasConcept C199360897 @default.
- W1978208568 hasConcept C41008148 @default.
- W1978208568 hasConcept C80444323 @default.
- W1978208568 hasConcept C97355855 @default.
- W1978208568 hasConceptScore W1978208568C121332964 @default.
- W1978208568 hasConceptScore W1978208568C168167062 @default.
- W1978208568 hasConceptScore W1978208568C199360897 @default.
- W1978208568 hasConceptScore W1978208568C41008148 @default.
- W1978208568 hasConceptScore W1978208568C80444323 @default.
- W1978208568 hasConceptScore W1978208568C97355855 @default.
- W1978208568 hasLocation W19782085681 @default.
- W1978208568 hasLocation W19782085682 @default.
- W1978208568 hasOpenAccess W1978208568 @default.
- W1978208568 hasPrimaryLocation W19782085681 @default.
- W1978208568 hasRelatedWork W2104078272 @default.
- W1978208568 hasRelatedWork W2112962394 @default.
- W1978208568 hasRelatedWork W2118300983 @default.
- W1978208568 hasRelatedWork W2166247150 @default.
- W1978208568 hasRelatedWork W2379533788 @default.
- W1978208568 hasRelatedWork W2382501300 @default.
- W1978208568 hasRelatedWork W3137189469 @default.
- W1978208568 hasRelatedWork W3162240892 @default.
- W1978208568 hasRelatedWork W4235530921 @default.
- W1978208568 hasRelatedWork W4243252198 @default.
- W1978208568 isParatext "false" @default.
- W1978208568 isRetracted "false" @default.
- W1978208568 magId "1978208568" @default.
- W1978208568 workType "article" @default.