Matches in SemOpenAlex for { <https://semopenalex.org/work/W2935786612> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2935786612 endingPage "254" @default.
- W2935786612 startingPage "215" @default.
- W2935786612 abstract "Simulink is widely accepted in industry for model-based designs. Verification of Simulink diagrams against contracts or implementations has attracted the attention of many researchers. We present a compositional assume-guarantee reasoning framework to provide a purely relational mathematical semantics for discrete-time Simulink diagrams, and then to verify the diagrams against the contracts in the same semantics in UTP. We define semantics for individual blocks and composition operators, and develop a set of calculation laws (based on the equational theory) to facilitate automated proof. An industrial safety-critical model is verified using our approach. Furthermore, all these definitions, laws, and verification of the case study are mechanised in Isabelle/UTP, an implementation of UTP in Isabelle/HOL." @default.
- W2935786612 created "2019-04-25" @default.
- W2935786612 creator A5006626759 @default.
- W2935786612 creator A5018039260 @default.
- W2935786612 creator A5088921858 @default.
- W2935786612 date "2019-04-17" @default.
- W2935786612 modified "2023-09-30" @default.
- W2935786612 title "Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP" @default.
- W2935786612 cites W1164721860 @default.
- W2935786612 cites W119570465 @default.
- W2935786612 cites W126787391 @default.
- W2935786612 cites W147593471 @default.
- W2935786612 cites W1498688164 @default.
- W2935786612 cites W1513889636 @default.
- W2935786612 cites W1776738182 @default.
- W2935786612 cites W1838450363 @default.
- W2935786612 cites W1858743739 @default.
- W2935786612 cites W1882160752 @default.
- W2935786612 cites W1897595500 @default.
- W2935786612 cites W1972478730 @default.
- W2935786612 cites W2019809768 @default.
- W2935786612 cites W2052363833 @default.
- W2935786612 cites W2074119802 @default.
- W2935786612 cites W2091158003 @default.
- W2935786612 cites W2115803389 @default.
- W2935786612 cites W2184340379 @default.
- W2935786612 cites W2474570490 @default.
- W2935786612 cites W2495886193 @default.
- W2935786612 cites W2617634135 @default.
- W2935786612 cites W2787620952 @default.
- W2935786612 cites W4250846042 @default.
- W2935786612 cites W646792496 @default.
- W2935786612 doi "https://doi.org/10.1007/978-3-030-15792-0_10" @default.
- W2935786612 hasPublicationYear "2019" @default.
- W2935786612 type Work @default.
- W2935786612 sameAs 2935786612 @default.
- W2935786612 citedByCount "4" @default.
- W2935786612 countsByYear W29357866122019 @default.
- W2935786612 countsByYear W29357866122021 @default.
- W2935786612 countsByYear W29357866122022 @default.
- W2935786612 crossrefType "book-chapter" @default.
- W2935786612 hasAuthorship W2935786612A5006626759 @default.
- W2935786612 hasAuthorship W2935786612A5018039260 @default.
- W2935786612 hasAuthorship W2935786612A5088921858 @default.
- W2935786612 hasBestOaLocation W29357866122 @default.
- W2935786612 hasConcept C108710211 @default.
- W2935786612 hasConcept C111498074 @default.
- W2935786612 hasConcept C154945302 @default.
- W2935786612 hasConcept C156325763 @default.
- W2935786612 hasConcept C17435882 @default.
- W2935786612 hasConcept C177264268 @default.
- W2935786612 hasConcept C184337299 @default.
- W2935786612 hasConcept C199360897 @default.
- W2935786612 hasConcept C203265346 @default.
- W2935786612 hasConcept C206880738 @default.
- W2935786612 hasConcept C2524010 @default.
- W2935786612 hasConcept C26713055 @default.
- W2935786612 hasConcept C2775924081 @default.
- W2935786612 hasConcept C33923547 @default.
- W2935786612 hasConcept C41008148 @default.
- W2935786612 hasConcept C80444323 @default.
- W2935786612 hasConceptScore W2935786612C108710211 @default.
- W2935786612 hasConceptScore W2935786612C111498074 @default.
- W2935786612 hasConceptScore W2935786612C154945302 @default.
- W2935786612 hasConceptScore W2935786612C156325763 @default.
- W2935786612 hasConceptScore W2935786612C17435882 @default.
- W2935786612 hasConceptScore W2935786612C177264268 @default.
- W2935786612 hasConceptScore W2935786612C184337299 @default.
- W2935786612 hasConceptScore W2935786612C199360897 @default.
- W2935786612 hasConceptScore W2935786612C203265346 @default.
- W2935786612 hasConceptScore W2935786612C206880738 @default.
- W2935786612 hasConceptScore W2935786612C2524010 @default.
- W2935786612 hasConceptScore W2935786612C26713055 @default.
- W2935786612 hasConceptScore W2935786612C2775924081 @default.
- W2935786612 hasConceptScore W2935786612C33923547 @default.
- W2935786612 hasConceptScore W2935786612C41008148 @default.
- W2935786612 hasConceptScore W2935786612C80444323 @default.
- W2935786612 hasLocation W29357866121 @default.
- W2935786612 hasLocation W29357866122 @default.
- W2935786612 hasOpenAccess W2935786612 @default.
- W2935786612 hasPrimaryLocation W29357866121 @default.
- W2935786612 hasRelatedWork W1489787855 @default.
- W2935786612 hasRelatedWork W1522273308 @default.
- W2935786612 hasRelatedWork W1959466658 @default.
- W2935786612 hasRelatedWork W2049967603 @default.
- W2935786612 hasRelatedWork W2090686886 @default.
- W2935786612 hasRelatedWork W2113081700 @default.
- W2935786612 hasRelatedWork W2169776427 @default.
- W2935786612 hasRelatedWork W4221149318 @default.
- W2935786612 hasRelatedWork W4283800065 @default.
- W2935786612 hasRelatedWork W60304821 @default.
- W2935786612 isParatext "false" @default.
- W2935786612 isRetracted "false" @default.
- W2935786612 magId "2935786612" @default.
- W2935786612 workType "book-chapter" @default.