Matches in SemOpenAlex for { <https://semopenalex.org/work/W2941219069> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2941219069 endingPage "299" @default.
- W2941219069 startingPage "280" @default.
- W2941219069 abstract "This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-component and proof steps involve assumptions on properties of the sub-components. The framework is defined for Linear Temporal Logic (LTL)." @default.
- W2941219069 created "2019-05-03" @default.
- W2941219069 creator A5001323438 @default.
- W2941219069 creator A5006104972 @default.
- W2941219069 date "2003-12-01" @default.
- W2941219069 modified "2023-10-15" @default.
- W2941219069 title "Compositional verification for Object-Z" @default.
- W2941219069 hasPublicationYear "2003" @default.
- W2941219069 type Work @default.
- W2941219069 sameAs 2941219069 @default.
- W2941219069 citedByCount "0" @default.
- W2941219069 crossrefType "journal-article" @default.
- W2941219069 hasAuthorship W2941219069A5001323438 @default.
- W2941219069 hasAuthorship W2941219069A5006104972 @default.
- W2941219069 hasConcept C11413529 @default.
- W2941219069 hasConcept C121332964 @default.
- W2941219069 hasConcept C124681953 @default.
- W2941219069 hasConcept C151730666 @default.
- W2941219069 hasConcept C154945302 @default.
- W2941219069 hasConcept C162324750 @default.
- W2941219069 hasConcept C168167062 @default.
- W2941219069 hasConcept C18903297 @default.
- W2941219069 hasConcept C199360897 @default.
- W2941219069 hasConcept C2779343474 @default.
- W2941219069 hasConcept C2781238097 @default.
- W2941219069 hasConcept C31170391 @default.
- W2941219069 hasConcept C34447519 @default.
- W2941219069 hasConcept C41008148 @default.
- W2941219069 hasConcept C4777664 @default.
- W2941219069 hasConcept C80444323 @default.
- W2941219069 hasConcept C86803240 @default.
- W2941219069 hasConcept C97355855 @default.
- W2941219069 hasConceptScore W2941219069C11413529 @default.
- W2941219069 hasConceptScore W2941219069C121332964 @default.
- W2941219069 hasConceptScore W2941219069C124681953 @default.
- W2941219069 hasConceptScore W2941219069C151730666 @default.
- W2941219069 hasConceptScore W2941219069C154945302 @default.
- W2941219069 hasConceptScore W2941219069C162324750 @default.
- W2941219069 hasConceptScore W2941219069C168167062 @default.
- W2941219069 hasConceptScore W2941219069C18903297 @default.
- W2941219069 hasConceptScore W2941219069C199360897 @default.
- W2941219069 hasConceptScore W2941219069C2779343474 @default.
- W2941219069 hasConceptScore W2941219069C2781238097 @default.
- W2941219069 hasConceptScore W2941219069C31170391 @default.
- W2941219069 hasConceptScore W2941219069C34447519 @default.
- W2941219069 hasConceptScore W2941219069C41008148 @default.
- W2941219069 hasConceptScore W2941219069C4777664 @default.
- W2941219069 hasConceptScore W2941219069C80444323 @default.
- W2941219069 hasConceptScore W2941219069C86803240 @default.
- W2941219069 hasConceptScore W2941219069C97355855 @default.
- W2941219069 hasLocation W29412190691 @default.
- W2941219069 hasOpenAccess W2941219069 @default.
- W2941219069 hasPrimaryLocation W29412190691 @default.
- W2941219069 hasRelatedWork W1529286265 @default.
- W2941219069 hasRelatedWork W1559372703 @default.
- W2941219069 hasRelatedWork W1561501726 @default.
- W2941219069 hasRelatedWork W1597029928 @default.
- W2941219069 hasRelatedWork W1879975909 @default.
- W2941219069 hasRelatedWork W1972078468 @default.
- W2941219069 hasRelatedWork W1975255815 @default.
- W2941219069 hasRelatedWork W1986079879 @default.
- W2941219069 hasRelatedWork W2019088762 @default.
- W2941219069 hasRelatedWork W2028287022 @default.
- W2941219069 hasRelatedWork W2087770284 @default.
- W2941219069 hasRelatedWork W2102886900 @default.
- W2941219069 hasRelatedWork W2105482255 @default.
- W2941219069 hasRelatedWork W2106786871 @default.
- W2941219069 hasRelatedWork W2120286262 @default.
- W2941219069 hasRelatedWork W410633824 @default.
- W2941219069 hasRelatedWork W41434016 @default.
- W2941219069 hasRelatedWork W1606807920 @default.
- W2941219069 hasRelatedWork W2184660192 @default.
- W2941219069 hasRelatedWork W3150875667 @default.
- W2941219069 hasVolume "2651" @default.
- W2941219069 isParatext "false" @default.
- W2941219069 isRetracted "false" @default.
- W2941219069 magId "2941219069" @default.
- W2941219069 workType "article" @default.