Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019809768> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2019809768 endingPage "83" @default.
- W2019809768 startingPage "73" @default.
- W2019809768 abstract "Matlab Simulink™ is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical system. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We provide a contract-based type system of Simulink with annotations and dimensions/units associated with ports and links. These contract types can capture invariants on signals as well as relations between signals. We define a contract-based verifier that checks the well formedness of Simulink blocks with respect to these contracts. This verifier generates proof obligations that are solved by SRI’s Yices solver for satisfiability modulo theories (SMT). This translation can be used to detect basic type errors and violation of contracts, demonstrate counterexamples, generate test cases, or prove the absence of contract-based type errors. Our work is an initial step toward the symbolic analysis of Matlab Simulink models." @default.
- W2019809768 created "2016-06-24" @default.
- W2019809768 creator A5068168829 @default.
- W2019809768 creator A5079528906 @default.
- W2019809768 date "2011-03-24" @default.
- W2019809768 modified "2023-10-06" @default.
- W2019809768 title "SimCheck: a contract type system for Simulink" @default.
- W2019809768 cites W1874620740 @default.
- W2019809768 cites W1987948759 @default.
- W2019809768 cites W2059176334 @default.
- W2019809768 cites W2086163366 @default.
- W2019809768 cites W2099661188 @default.
- W2019809768 cites W2113486906 @default.
- W2019809768 cites W2115803389 @default.
- W2019809768 cites W2131441094 @default.
- W2019809768 cites W2131867629 @default.
- W2019809768 cites W4244728546 @default.
- W2019809768 doi "https://doi.org/10.1007/s11334-011-0145-4" @default.
- W2019809768 hasPublicationYear "2011" @default.
- W2019809768 type Work @default.
- W2019809768 sameAs 2019809768 @default.
- W2019809768 citedByCount "22" @default.
- W2019809768 countsByYear W20198097682013 @default.
- W2019809768 countsByYear W20198097682014 @default.
- W2019809768 countsByYear W20198097682015 @default.
- W2019809768 countsByYear W20198097682016 @default.
- W2019809768 countsByYear W20198097682017 @default.
- W2019809768 countsByYear W20198097682018 @default.
- W2019809768 countsByYear W20198097682019 @default.
- W2019809768 countsByYear W20198097682020 @default.
- W2019809768 crossrefType "journal-article" @default.
- W2019809768 hasAuthorship W2019809768A5068168829 @default.
- W2019809768 hasAuthorship W2019809768A5079528906 @default.
- W2019809768 hasBestOaLocation W20198097681 @default.
- W2019809768 hasConcept C10138342 @default.
- W2019809768 hasConcept C113843644 @default.
- W2019809768 hasConcept C11413529 @default.
- W2019809768 hasConcept C118615104 @default.
- W2019809768 hasConcept C129307140 @default.
- W2019809768 hasConcept C157915830 @default.
- W2019809768 hasConcept C162324750 @default.
- W2019809768 hasConcept C162838799 @default.
- W2019809768 hasConcept C164155591 @default.
- W2019809768 hasConcept C173608175 @default.
- W2019809768 hasConcept C18903297 @default.
- W2019809768 hasConcept C199360897 @default.
- W2019809768 hasConcept C2776299755 @default.
- W2019809768 hasConcept C2777299769 @default.
- W2019809768 hasConcept C2778770139 @default.
- W2019809768 hasConcept C2780365114 @default.
- W2019809768 hasConcept C33923547 @default.
- W2019809768 hasConcept C41008148 @default.
- W2019809768 hasConcept C54732982 @default.
- W2019809768 hasConcept C80444323 @default.
- W2019809768 hasConcept C86803240 @default.
- W2019809768 hasConceptScore W2019809768C10138342 @default.
- W2019809768 hasConceptScore W2019809768C113843644 @default.
- W2019809768 hasConceptScore W2019809768C11413529 @default.
- W2019809768 hasConceptScore W2019809768C118615104 @default.
- W2019809768 hasConceptScore W2019809768C129307140 @default.
- W2019809768 hasConceptScore W2019809768C157915830 @default.
- W2019809768 hasConceptScore W2019809768C162324750 @default.
- W2019809768 hasConceptScore W2019809768C162838799 @default.
- W2019809768 hasConceptScore W2019809768C164155591 @default.
- W2019809768 hasConceptScore W2019809768C173608175 @default.
- W2019809768 hasConceptScore W2019809768C18903297 @default.
- W2019809768 hasConceptScore W2019809768C199360897 @default.
- W2019809768 hasConceptScore W2019809768C2776299755 @default.
- W2019809768 hasConceptScore W2019809768C2777299769 @default.
- W2019809768 hasConceptScore W2019809768C2778770139 @default.
- W2019809768 hasConceptScore W2019809768C2780365114 @default.
- W2019809768 hasConceptScore W2019809768C33923547 @default.
- W2019809768 hasConceptScore W2019809768C41008148 @default.
- W2019809768 hasConceptScore W2019809768C54732982 @default.
- W2019809768 hasConceptScore W2019809768C80444323 @default.
- W2019809768 hasConceptScore W2019809768C86803240 @default.
- W2019809768 hasIssue "2" @default.
- W2019809768 hasLocation W20198097681 @default.
- W2019809768 hasOpenAccess W2019809768 @default.
- W2019809768 hasPrimaryLocation W20198097681 @default.
- W2019809768 hasRelatedWork W1489260687 @default.
- W2019809768 hasRelatedWork W1988934358 @default.
- W2019809768 hasRelatedWork W2163101548 @default.
- W2019809768 hasRelatedWork W2349952486 @default.
- W2019809768 hasRelatedWork W2583022676 @default.
- W2019809768 hasRelatedWork W2587222766 @default.
- W2019809768 hasRelatedWork W2810367355 @default.
- W2019809768 hasRelatedWork W3014450817 @default.
- W2019809768 hasRelatedWork W3204670144 @default.
- W2019809768 hasRelatedWork W4318620547 @default.
- W2019809768 hasVolume "7" @default.
- W2019809768 isParatext "false" @default.
- W2019809768 isRetracted "false" @default.
- W2019809768 magId "2019809768" @default.
- W2019809768 workType "article" @default.