Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014710412> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2014710412 endingPage "83" @default.
- W2014710412 startingPage "65" @default.
- W2014710412 abstract "Simulink/Stateflow charts are widely used in industry for the specification of control systems, which are often safety-critical. This suggests a need for a formal treatment of such models. In previous work, we have proposed a technique for automatic generation of formal models of Stateflow blocks to support refinement-based reasoning. In this article, we present a refinement strategy that supports the verification of automatically generated sequential C implementations of Stateflow charts. In particular, we discuss how this strategy can be specialised to take advantage of architectural features in order to allow a higher level of automation." @default.
- W2014710412 created "2016-06-24" @default.
- W2014710412 creator A5073408099 @default.
- W2014710412 creator A5077565561 @default.
- W2014710412 date "2011-06-17" @default.
- W2014710412 modified "2023-09-28" @default.
- W2014710412 title "Refinement-based verification of sequential implementations of Stateflow charts" @default.
- W2014710412 cites W2015713441 @default.
- W2014710412 cites W2048145195 @default.
- W2014710412 cites W2066210260 @default.
- W2014710412 cites W2077325003 @default.
- W2014710412 cites W2080003993 @default.
- W2014710412 cites W2080864228 @default.
- W2014710412 cites W2081620490 @default.
- W2014710412 cites W2099529102 @default.
- W2014710412 cites W2170064878 @default.
- W2014710412 cites W25765579 @default.
- W2014710412 cites W4256547490 @default.
- W2014710412 doi "https://doi.org/10.4204/eptcs.55.5" @default.
- W2014710412 hasPublicationYear "2011" @default.
- W2014710412 type Work @default.
- W2014710412 sameAs 2014710412 @default.
- W2014710412 citedByCount "2" @default.
- W2014710412 countsByYear W20147104122014 @default.
- W2014710412 countsByYear W20147104122015 @default.
- W2014710412 crossrefType "journal-article" @default.
- W2014710412 hasAuthorship W2014710412A5073408099 @default.
- W2014710412 hasAuthorship W2014710412A5077565561 @default.
- W2014710412 hasBestOaLocation W20147104121 @default.
- W2014710412 hasConcept C115901376 @default.
- W2014710412 hasConcept C115903868 @default.
- W2014710412 hasConcept C127413603 @default.
- W2014710412 hasConcept C199360897 @default.
- W2014710412 hasConcept C26713055 @default.
- W2014710412 hasConcept C2779752788 @default.
- W2014710412 hasConcept C2780365114 @default.
- W2014710412 hasConcept C41008148 @default.
- W2014710412 hasConcept C75606506 @default.
- W2014710412 hasConcept C78519656 @default.
- W2014710412 hasConcept C90483712 @default.
- W2014710412 hasConceptScore W2014710412C115901376 @default.
- W2014710412 hasConceptScore W2014710412C115903868 @default.
- W2014710412 hasConceptScore W2014710412C127413603 @default.
- W2014710412 hasConceptScore W2014710412C199360897 @default.
- W2014710412 hasConceptScore W2014710412C26713055 @default.
- W2014710412 hasConceptScore W2014710412C2779752788 @default.
- W2014710412 hasConceptScore W2014710412C2780365114 @default.
- W2014710412 hasConceptScore W2014710412C41008148 @default.
- W2014710412 hasConceptScore W2014710412C75606506 @default.
- W2014710412 hasConceptScore W2014710412C78519656 @default.
- W2014710412 hasConceptScore W2014710412C90483712 @default.
- W2014710412 hasLocation W20147104121 @default.
- W2014710412 hasLocation W20147104122 @default.
- W2014710412 hasLocation W20147104123 @default.
- W2014710412 hasLocation W20147104124 @default.
- W2014710412 hasLocation W20147104125 @default.
- W2014710412 hasLocation W20147104126 @default.
- W2014710412 hasOpenAccess W2014710412 @default.
- W2014710412 hasPrimaryLocation W20147104121 @default.
- W2014710412 hasRelatedWork W11450473 @default.
- W2014710412 hasRelatedWork W1964111820 @default.
- W2014710412 hasRelatedWork W2014710412 @default.
- W2014710412 hasRelatedWork W2063193040 @default.
- W2014710412 hasRelatedWork W2068917017 @default.
- W2014710412 hasRelatedWork W2162611322 @default.
- W2014710412 hasRelatedWork W2234831441 @default.
- W2014710412 hasRelatedWork W2897842245 @default.
- W2014710412 hasRelatedWork W3023533476 @default.
- W2014710412 hasRelatedWork W3206116316 @default.
- W2014710412 hasVolume "55" @default.
- W2014710412 isParatext "false" @default.
- W2014710412 isRetracted "false" @default.
- W2014710412 magId "2014710412" @default.
- W2014710412 workType "article" @default.