Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912256629> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2912256629 abstract "Large-scale numerical software requires substantial computer resources that complicate testing and debugging. A single run of a climate model may require many millions of core-hours and terabytes of disk space, making trial-and-error experiments burdensome and time consuming. In this study, we apply hybrid theorem proving from the field of cyber-physical systems to problems in scientific computation, and show how to verify the correctness of discrete updates that appear in the simulation of continuous physical systems. By viewing numerical software as a hybrid system that combines discrete and continuous behavior, test coverage and confidence in findings can be increased. We describe abstraction approaches for modeling numerical software and demonstrate the applicability of the approach in a case study that reproduces undesirable behavior encountered in a parameterization scheme, called the K-profile parameterization, widely used in ocean components of large-scale climate models. We then identify and model a fix in the configuration of the scheme, and verify that the undesired behavior is eliminated for all possible execution sequences. We conclude that hybrid theorem proving is an effective and efficient approach that can be used to verify and reason about properties of large-scale numerical software." @default.
- W2912256629 created "2019-02-21" @default.
- W2912256629 creator A5039063711 @default.
- W2912256629 creator A5061119573 @default.
- W2912256629 date "2018-11-01" @default.
- W2912256629 modified "2023-10-18" @default.
- W2912256629 title "Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software" @default.
- W2912256629 cites W1590463358 @default.
- W2912256629 cites W1930200668 @default.
- W2912256629 cites W1941921537 @default.
- W2912256629 cites W1963549306 @default.
- W2912256629 cites W1977444293 @default.
- W2912256629 cites W2031524945 @default.
- W2912256629 cites W2115247641 @default.
- W2912256629 cites W2138856138 @default.
- W2912256629 cites W2471308051 @default.
- W2912256629 cites W2624649878 @default.
- W2912256629 cites W2747477340 @default.
- W2912256629 cites W2751119416 @default.
- W2912256629 cites W2765133267 @default.
- W2912256629 cites W2801887379 @default.
- W2912256629 cites W2803699674 @default.
- W2912256629 cites W2885880873 @default.
- W2912256629 cites W3101115050 @default.
- W2912256629 doi "https://doi.org/10.1109/correctness.2018.00005" @default.
- W2912256629 hasPublicationYear "2018" @default.
- W2912256629 type Work @default.
- W2912256629 sameAs 2912256629 @default.
- W2912256629 citedByCount "0" @default.
- W2912256629 crossrefType "proceedings-article" @default.
- W2912256629 hasAuthorship W2912256629A5039063711 @default.
- W2912256629 hasAuthorship W2912256629A5061119573 @default.
- W2912256629 hasConcept C111472728 @default.
- W2912256629 hasConcept C11413529 @default.
- W2912256629 hasConcept C119857082 @default.
- W2912256629 hasConcept C120314980 @default.
- W2912256629 hasConcept C121332964 @default.
- W2912256629 hasConcept C124304363 @default.
- W2912256629 hasConcept C138885662 @default.
- W2912256629 hasConcept C149091818 @default.
- W2912256629 hasConcept C168065819 @default.
- W2912256629 hasConcept C186846655 @default.
- W2912256629 hasConcept C199360897 @default.
- W2912256629 hasConcept C206880738 @default.
- W2912256629 hasConcept C2777904410 @default.
- W2912256629 hasConcept C2778755073 @default.
- W2912256629 hasConcept C33054407 @default.
- W2912256629 hasConcept C41008148 @default.
- W2912256629 hasConcept C459310 @default.
- W2912256629 hasConcept C50897621 @default.
- W2912256629 hasConcept C55439883 @default.
- W2912256629 hasConcept C62520636 @default.
- W2912256629 hasConcept C80444323 @default.
- W2912256629 hasConceptScore W2912256629C111472728 @default.
- W2912256629 hasConceptScore W2912256629C11413529 @default.
- W2912256629 hasConceptScore W2912256629C119857082 @default.
- W2912256629 hasConceptScore W2912256629C120314980 @default.
- W2912256629 hasConceptScore W2912256629C121332964 @default.
- W2912256629 hasConceptScore W2912256629C124304363 @default.
- W2912256629 hasConceptScore W2912256629C138885662 @default.
- W2912256629 hasConceptScore W2912256629C149091818 @default.
- W2912256629 hasConceptScore W2912256629C168065819 @default.
- W2912256629 hasConceptScore W2912256629C186846655 @default.
- W2912256629 hasConceptScore W2912256629C199360897 @default.
- W2912256629 hasConceptScore W2912256629C206880738 @default.
- W2912256629 hasConceptScore W2912256629C2777904410 @default.
- W2912256629 hasConceptScore W2912256629C2778755073 @default.
- W2912256629 hasConceptScore W2912256629C33054407 @default.
- W2912256629 hasConceptScore W2912256629C41008148 @default.
- W2912256629 hasConceptScore W2912256629C459310 @default.
- W2912256629 hasConceptScore W2912256629C50897621 @default.
- W2912256629 hasConceptScore W2912256629C55439883 @default.
- W2912256629 hasConceptScore W2912256629C62520636 @default.
- W2912256629 hasConceptScore W2912256629C80444323 @default.
- W2912256629 hasLocation W29122566291 @default.
- W2912256629 hasOpenAccess W2912256629 @default.
- W2912256629 hasPrimaryLocation W29122566291 @default.
- W2912256629 hasRelatedWork W119744333 @default.
- W2912256629 hasRelatedWork W1539181647 @default.
- W2912256629 hasRelatedWork W1998298131 @default.
- W2912256629 hasRelatedWork W2015288345 @default.
- W2912256629 hasRelatedWork W2067716098 @default.
- W2912256629 hasRelatedWork W2273634790 @default.
- W2912256629 hasRelatedWork W2294017245 @default.
- W2912256629 hasRelatedWork W2369889174 @default.
- W2912256629 hasRelatedWork W2912256629 @default.
- W2912256629 hasRelatedWork W40536107 @default.
- W2912256629 isParatext "false" @default.
- W2912256629 isRetracted "false" @default.
- W2912256629 magId "2912256629" @default.
- W2912256629 workType "article" @default.