Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576784275> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1576784275 startingPage "85" @default.
- W1576784275 abstract "The techniques of component-based development are becoming a common practice in the area of software engineering. One of the crucial issues in the correctness of such systems is the correct interaction among the components. The formalism of component-interaction automata was devised to model various aspects of such interaction, as well as to allow automated verification in the form of model checking with properties expressed in the component-interaction LTL, a variant of the known linear temporal logic. As the state space of a component-based system can grow exponentially with the number of components, it is desirable to employ reduction techniques to make the verification task more feasible. In our work, we describe the implementation of the ample set partial order reduction method within the component-interaction automata verification framework. Due to the state and action-based nature of both the modelling and specification formalisms, the implementation differs from traditional state-based approaches. After describing the implementation, we present some of the results obtained by employing the enhanced verification framework on a case study." @default.
- W1576784275 created "2016-06-24" @default.
- W1576784275 creator A5000349739 @default.
- W1576784275 creator A5045342585 @default.
- W1576784275 creator A5076802034 @default.
- W1576784275 date "2009-12-15" @default.
- W1576784275 modified "2023-09-28" @default.
- W1576784275 title "Space Effective Model Checking for Component-Interaction Automata" @default.
- W1576784275 doi "https://doi.org/10.4230/drops.memics.2009.2354" @default.
- W1576784275 hasPublicationYear "2009" @default.
- W1576784275 type Work @default.
- W1576784275 sameAs 1576784275 @default.
- W1576784275 citedByCount "1" @default.
- W1576784275 crossrefType "proceedings-article" @default.
- W1576784275 hasAuthorship W1576784275A5000349739 @default.
- W1576784275 hasAuthorship W1576784275A5045342585 @default.
- W1576784275 hasAuthorship W1576784275A5076802034 @default.
- W1576784275 hasConcept C110251889 @default.
- W1576784275 hasConcept C111498074 @default.
- W1576784275 hasConcept C112505250 @default.
- W1576784275 hasConcept C11413529 @default.
- W1576784275 hasConcept C116248031 @default.
- W1576784275 hasConcept C121332964 @default.
- W1576784275 hasConcept C142362112 @default.
- W1576784275 hasConcept C153349607 @default.
- W1576784275 hasConcept C168167062 @default.
- W1576784275 hasConcept C171018156 @default.
- W1576784275 hasConcept C2524010 @default.
- W1576784275 hasConcept C30888246 @default.
- W1576784275 hasConcept C33923547 @default.
- W1576784275 hasConcept C41008148 @default.
- W1576784275 hasConcept C4777664 @default.
- W1576784275 hasConcept C55439883 @default.
- W1576784275 hasConcept C558565934 @default.
- W1576784275 hasConcept C73301696 @default.
- W1576784275 hasConcept C80444323 @default.
- W1576784275 hasConcept C94633896 @default.
- W1576784275 hasConcept C97355855 @default.
- W1576784275 hasConceptScore W1576784275C110251889 @default.
- W1576784275 hasConceptScore W1576784275C111498074 @default.
- W1576784275 hasConceptScore W1576784275C112505250 @default.
- W1576784275 hasConceptScore W1576784275C11413529 @default.
- W1576784275 hasConceptScore W1576784275C116248031 @default.
- W1576784275 hasConceptScore W1576784275C121332964 @default.
- W1576784275 hasConceptScore W1576784275C142362112 @default.
- W1576784275 hasConceptScore W1576784275C153349607 @default.
- W1576784275 hasConceptScore W1576784275C168167062 @default.
- W1576784275 hasConceptScore W1576784275C171018156 @default.
- W1576784275 hasConceptScore W1576784275C2524010 @default.
- W1576784275 hasConceptScore W1576784275C30888246 @default.
- W1576784275 hasConceptScore W1576784275C33923547 @default.
- W1576784275 hasConceptScore W1576784275C41008148 @default.
- W1576784275 hasConceptScore W1576784275C4777664 @default.
- W1576784275 hasConceptScore W1576784275C55439883 @default.
- W1576784275 hasConceptScore W1576784275C558565934 @default.
- W1576784275 hasConceptScore W1576784275C73301696 @default.
- W1576784275 hasConceptScore W1576784275C80444323 @default.
- W1576784275 hasConceptScore W1576784275C94633896 @default.
- W1576784275 hasConceptScore W1576784275C97355855 @default.
- W1576784275 hasLocation W15767842751 @default.
- W1576784275 hasOpenAccess W1576784275 @default.
- W1576784275 hasPrimaryLocation W15767842751 @default.
- W1576784275 hasRelatedWork W1551406732 @default.
- W1576784275 hasRelatedWork W1617322827 @default.
- W1576784275 hasRelatedWork W17300578 @default.
- W1576784275 hasRelatedWork W1731145829 @default.
- W1576784275 hasRelatedWork W186611154 @default.
- W1576784275 hasRelatedWork W1931960970 @default.
- W1576784275 hasRelatedWork W1964089329 @default.
- W1576784275 hasRelatedWork W1973954352 @default.
- W1576784275 hasRelatedWork W2186426279 @default.
- W1576784275 hasRelatedWork W2202174127 @default.
- W1576784275 hasRelatedWork W2213886569 @default.
- W1576784275 hasRelatedWork W2260042246 @default.
- W1576784275 hasRelatedWork W2286265505 @default.
- W1576784275 hasRelatedWork W2529542719 @default.
- W1576784275 hasRelatedWork W2597775210 @default.
- W1576784275 hasRelatedWork W2735956334 @default.
- W1576784275 hasRelatedWork W2804745155 @default.
- W1576784275 hasRelatedWork W2953104596 @default.
- W1576784275 hasRelatedWork W3131940921 @default.
- W1576784275 hasRelatedWork W98168214 @default.
- W1576784275 hasVolume "13" @default.
- W1576784275 isParatext "false" @default.
- W1576784275 isRetracted "false" @default.
- W1576784275 magId "1576784275" @default.
- W1576784275 workType "article" @default.