Matches in SemOpenAlex for { <https://semopenalex.org/work/W2356691421> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2356691421 abstract "This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the interactions between the components, suitable for analysis by model-checking tools. The models are hierarchical and parameterized, expressing in a compact way the system behaviour. Then we have tools for instantiating those parameterized models using finite abstractions, and producing input for state-of-the-art verification tools. Our current work also targets the generation of models that include controllers modelling the dynamic management of architectural transformation of an application, such as changes in bindings or replacement of sub-components. We describe the existing tools, give tracks for further developments and show how realistic case-studies can be model-checked using our platform." @default.
- W2356691421 created "2016-06-24" @default.
- W2356691421 creator A5005894092 @default.
- W2356691421 creator A5062143465 @default.
- W2356691421 creator A5068484124 @default.
- W2356691421 date "2006-01-01" @default.
- W2356691421 modified "2023-09-24" @default.
- W2356691421 title "Model-checking Distributed Components: The" @default.
- W2356691421 cites W115019072 @default.
- W2356691421 cites W120480712 @default.
- W2356691421 cites W1504834688 @default.
- W2356691421 cites W1516139305 @default.
- W2356691421 cites W1522645051 @default.
- W2356691421 cites W1534937062 @default.
- W2356691421 cites W1573853539 @default.
- W2356691421 cites W1573884736 @default.
- W2356691421 cites W1874276579 @default.
- W2356691421 cites W1993883805 @default.
- W2356691421 cites W1996832037 @default.
- W2356691421 cites W2137948900 @default.
- W2356691421 cites W2149512300 @default.
- W2356691421 cites W2150043646 @default.
- W2356691421 hasPublicationYear "2006" @default.
- W2356691421 type Work @default.
- W2356691421 sameAs 2356691421 @default.
- W2356691421 citedByCount "0" @default.
- W2356691421 crossrefType "journal-article" @default.
- W2356691421 hasAuthorship W2356691421A5005894092 @default.
- W2356691421 hasAuthorship W2356691421A5062143465 @default.
- W2356691421 hasAuthorship W2356691421A5068484124 @default.
- W2356691421 hasConcept C104317684 @default.
- W2356691421 hasConcept C110251889 @default.
- W2356691421 hasConcept C11413529 @default.
- W2356691421 hasConcept C115903868 @default.
- W2356691421 hasConcept C120314980 @default.
- W2356691421 hasConcept C121332964 @default.
- W2356691421 hasConcept C154945302 @default.
- W2356691421 hasConcept C165464430 @default.
- W2356691421 hasConcept C168167062 @default.
- W2356691421 hasConcept C185592680 @default.
- W2356691421 hasConcept C199360897 @default.
- W2356691421 hasConcept C204241405 @default.
- W2356691421 hasConcept C2776436953 @default.
- W2356691421 hasConcept C2779791154 @default.
- W2356691421 hasConcept C41008148 @default.
- W2356691421 hasConcept C55493867 @default.
- W2356691421 hasConcept C80444323 @default.
- W2356691421 hasConcept C97355855 @default.
- W2356691421 hasConceptScore W2356691421C104317684 @default.
- W2356691421 hasConceptScore W2356691421C110251889 @default.
- W2356691421 hasConceptScore W2356691421C11413529 @default.
- W2356691421 hasConceptScore W2356691421C115903868 @default.
- W2356691421 hasConceptScore W2356691421C120314980 @default.
- W2356691421 hasConceptScore W2356691421C121332964 @default.
- W2356691421 hasConceptScore W2356691421C154945302 @default.
- W2356691421 hasConceptScore W2356691421C165464430 @default.
- W2356691421 hasConceptScore W2356691421C168167062 @default.
- W2356691421 hasConceptScore W2356691421C185592680 @default.
- W2356691421 hasConceptScore W2356691421C199360897 @default.
- W2356691421 hasConceptScore W2356691421C204241405 @default.
- W2356691421 hasConceptScore W2356691421C2776436953 @default.
- W2356691421 hasConceptScore W2356691421C2779791154 @default.
- W2356691421 hasConceptScore W2356691421C41008148 @default.
- W2356691421 hasConceptScore W2356691421C55493867 @default.
- W2356691421 hasConceptScore W2356691421C80444323 @default.
- W2356691421 hasConceptScore W2356691421C97355855 @default.
- W2356691421 hasLocation W23566914211 @default.
- W2356691421 hasOpenAccess W2356691421 @default.
- W2356691421 hasPrimaryLocation W23566914211 @default.
- W2356691421 hasRelatedWork W161990310 @default.
- W2356691421 hasRelatedWork W1629096835 @default.
- W2356691421 hasRelatedWork W1630695630 @default.
- W2356691421 hasRelatedWork W1802904226 @default.
- W2356691421 hasRelatedWork W2093849096 @default.
- W2356691421 hasRelatedWork W2118665271 @default.
- W2356691421 hasRelatedWork W2147288170 @default.
- W2356691421 hasRelatedWork W2148828251 @default.
- W2356691421 hasRelatedWork W2181423831 @default.
- W2356691421 hasRelatedWork W2282895087 @default.
- W2356691421 hasRelatedWork W2403006337 @default.
- W2356691421 hasRelatedWork W2620297942 @default.
- W2356691421 hasRelatedWork W2757339884 @default.
- W2356691421 hasRelatedWork W2890370072 @default.
- W2356691421 hasRelatedWork W2895180933 @default.
- W2356691421 hasRelatedWork W2962858291 @default.
- W2356691421 hasRelatedWork W2989591354 @default.
- W2356691421 hasRelatedWork W2995679499 @default.
- W2356691421 hasRelatedWork W3166410702 @default.
- W2356691421 hasRelatedWork W3201006973 @default.
- W2356691421 isParatext "false" @default.
- W2356691421 isRetracted "false" @default.
- W2356691421 magId "2356691421" @default.
- W2356691421 workType "article" @default.