Matches in SemOpenAlex for { <https://semopenalex.org/work/W290761884> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W290761884 abstract "This paper presents an approach to automatic, modular, contract-based verification of programs written in a subset of the MATLAB programming language, with focus on efficiently handling the provided matrix manipulation functions. We statically infer types and shapes for matrices in the language and use this information in the verification. We consider two approaches for verification: direct axiomatisation of the built-in matrix functions and expansion of the functions. We evaluate our approaches on a number of examples and discuss challenges for automatic verification in this setting." @default.
- W290761884 created "2016-06-24" @default.
- W290761884 creator A5057098143 @default.
- W290761884 creator A5060991532 @default.
- W290761884 date "2014-01-01" @default.
- W290761884 modified "2023-09-27" @default.
- W290761884 title "Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code" @default.
- W290761884 cites W147593471 @default.
- W290761884 cites W1480909796 @default.
- W290761884 cites W1564453741 @default.
- W290761884 cites W1605734336 @default.
- W290761884 cites W1606177908 @default.
- W290761884 cites W1657354101 @default.
- W290761884 cites W1968428133 @default.
- W290761884 cites W1998838326 @default.
- W290761884 cites W2014954069 @default.
- W290761884 cites W2081109124 @default.
- W290761884 cites W2115134174 @default.
- W290761884 cites W2117293074 @default.
- W290761884 cites W2122878128 @default.
- W290761884 cites W2139555094 @default.
- W290761884 cites W2166822586 @default.
- W290761884 cites W290761884 @default.
- W290761884 cites W4241237880 @default.
- W290761884 doi "https://doi.org/10.1007/978-3-319-11737-9_26" @default.
- W290761884 hasPublicationYear "2014" @default.
- W290761884 type Work @default.
- W290761884 sameAs 290761884 @default.
- W290761884 citedByCount "6" @default.
- W290761884 countsByYear W2907618842014 @default.
- W290761884 countsByYear W2907618842015 @default.
- W290761884 countsByYear W2907618842016 @default.
- W290761884 countsByYear W2907618842020 @default.
- W290761884 crossrefType "book-chapter" @default.
- W290761884 hasAuthorship W290761884A5057098143 @default.
- W290761884 hasAuthorship W290761884A5060991532 @default.
- W290761884 hasConcept C101468663 @default.
- W290761884 hasConcept C106487976 @default.
- W290761884 hasConcept C111498074 @default.
- W290761884 hasConcept C113775141 @default.
- W290761884 hasConcept C11413529 @default.
- W290761884 hasConcept C120665830 @default.
- W290761884 hasConcept C121332964 @default.
- W290761884 hasConcept C159985019 @default.
- W290761884 hasConcept C177264268 @default.
- W290761884 hasConcept C192209626 @default.
- W290761884 hasConcept C192562407 @default.
- W290761884 hasConcept C199360897 @default.
- W290761884 hasConcept C2776760102 @default.
- W290761884 hasConcept C2780365114 @default.
- W290761884 hasConcept C41008148 @default.
- W290761884 hasConcept C62460635 @default.
- W290761884 hasConcept C80444323 @default.
- W290761884 hasConceptScore W290761884C101468663 @default.
- W290761884 hasConceptScore W290761884C106487976 @default.
- W290761884 hasConceptScore W290761884C111498074 @default.
- W290761884 hasConceptScore W290761884C113775141 @default.
- W290761884 hasConceptScore W290761884C11413529 @default.
- W290761884 hasConceptScore W290761884C120665830 @default.
- W290761884 hasConceptScore W290761884C121332964 @default.
- W290761884 hasConceptScore W290761884C159985019 @default.
- W290761884 hasConceptScore W290761884C177264268 @default.
- W290761884 hasConceptScore W290761884C192209626 @default.
- W290761884 hasConceptScore W290761884C192562407 @default.
- W290761884 hasConceptScore W290761884C199360897 @default.
- W290761884 hasConceptScore W290761884C2776760102 @default.
- W290761884 hasConceptScore W290761884C2780365114 @default.
- W290761884 hasConceptScore W290761884C41008148 @default.
- W290761884 hasConceptScore W290761884C62460635 @default.
- W290761884 hasConceptScore W290761884C80444323 @default.
- W290761884 hasLocation W2907618841 @default.
- W290761884 hasOpenAccess W290761884 @default.
- W290761884 hasPrimaryLocation W2907618841 @default.
- W290761884 hasRelatedWork W128837028 @default.
- W290761884 hasRelatedWork W136339 @default.
- W290761884 hasRelatedWork W1495218583 @default.
- W290761884 hasRelatedWork W1504912724 @default.
- W290761884 hasRelatedWork W1630576561 @default.
- W290761884 hasRelatedWork W1919525832 @default.
- W290761884 hasRelatedWork W1978790429 @default.
- W290761884 hasRelatedWork W2010404330 @default.
- W290761884 hasRelatedWork W2053253740 @default.
- W290761884 hasRelatedWork W2074596576 @default.
- W290761884 hasRelatedWork W2080239144 @default.
- W290761884 hasRelatedWork W2141534366 @default.
- W290761884 hasRelatedWork W221281981 @default.
- W290761884 hasRelatedWork W2310744283 @default.
- W290761884 hasRelatedWork W2407362339 @default.
- W290761884 hasRelatedWork W2480791090 @default.
- W290761884 hasRelatedWork W2556680237 @default.
- W290761884 hasRelatedWork W2788835136 @default.
- W290761884 hasRelatedWork W2918648222 @default.
- W290761884 hasRelatedWork W3111311815 @default.
- W290761884 isParatext "false" @default.
- W290761884 isRetracted "false" @default.
- W290761884 magId "290761884" @default.
- W290761884 workType "book-chapter" @default.