Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950576402> ?p ?o ?g. }
- W2950576402 abstract "Numerical software are widely used in safety-critical systems such as aircrafts, satellites, car engines and so on, facilitating dynamics control of such systems in real time, it is therefore absolutely necessary to verify their correctness. It is a long standing challenge to guarantee verified properties of numerical software are indeed satisfied by their real behaviours, because most of these verifications are conducted under ideal mathematical models, but their real executions could be influenced essentially by uncertain inputs accounting for round-off errors and additive perturbations from real-world phenomena to hardware, which are abstracted away in these ideal mathematical models. In this paper, we attempt to address this issue focusing on nontermination analysis of numerical software, where nontermination is often an unexpected behaviour of computer programs and may be problematic for applications such as real-time systems having hard deadlines on transaction execution time, and propose a method for robust conditional nontermination analysis, which can be used to under-approximate the maximal robust nontermination input set for a given program, from which the program never terminates, regardless of the aforementioned disturbances. Finally, several examples are employed to illustrate our approach." @default.
- W2950576402 created "2019-06-27" @default.
- W2950576402 creator A5026435847 @default.
- W2950576402 creator A5058964600 @default.
- W2950576402 creator A5089413793 @default.
- W2950576402 creator A5078253695 @default.
- W2950576402 date "2018-04-01" @default.
- W2950576402 modified "2023-09-27" @default.
- W2950576402 title "Robust Non-termination Analysis of Numerical Software" @default.
- W2950576402 cites W1012186786 @default.
- W2950576402 cites W146333850 @default.
- W2950576402 cites W1496468608 @default.
- W2950576402 cites W1499072146 @default.
- W2950576402 cites W1503406871 @default.
- W2950576402 cites W1575647584 @default.
- W2950576402 cites W1678728507 @default.
- W2950576402 cites W1870770210 @default.
- W2950576402 cites W1880805667 @default.
- W2950576402 cites W1968428133 @default.
- W2950576402 cites W1971566420 @default.
- W2950576402 cites W1973425711 @default.
- W2950576402 cites W1989813138 @default.
- W2950576402 cites W1992577886 @default.
- W2950576402 cites W2033118636 @default.
- W2950576402 cites W2036804865 @default.
- W2950576402 cites W2041794362 @default.
- W2950576402 cites W2042703847 @default.
- W2950576402 cites W2066462730 @default.
- W2950576402 cites W2069300761 @default.
- W2950576402 cites W2075133940 @default.
- W2950576402 cites W2093834886 @default.
- W2950576402 cites W2096096565 @default.
- W2950576402 cites W2098045685 @default.
- W2950576402 cites W2101893420 @default.
- W2950576402 cites W2115215132 @default.
- W2950576402 cites W2115520718 @default.
- W2950576402 cites W2116364955 @default.
- W2950576402 cites W2116586985 @default.
- W2950576402 cites W2119974577 @default.
- W2950576402 cites W2147263168 @default.
- W2950576402 cites W2167019375 @default.
- W2950576402 cites W2290989530 @default.
- W2950576402 cites W2536620281 @default.
- W2950576402 cites W2601950196 @default.
- W2950576402 cites W2602098845 @default.
- W2950576402 cites W2604925741 @default.
- W2950576402 cites W2951434005 @default.
- W2950576402 cites W2951971247 @default.
- W2950576402 cites W3146075203 @default.
- W2950576402 cites W3210839039 @default.
- W2950576402 cites W2154683459 @default.
- W2950576402 doi "https://doi.org/10.48550/arxiv.1804.01391" @default.
- W2950576402 hasPublicationYear "2018" @default.
- W2950576402 type Work @default.
- W2950576402 sameAs 2950576402 @default.
- W2950576402 citedByCount "1" @default.
- W2950576402 countsByYear W29505764022018 @default.
- W2950576402 crossrefType "posted-content" @default.
- W2950576402 hasAuthorship W2950576402A5026435847 @default.
- W2950576402 hasAuthorship W2950576402A5058964600 @default.
- W2950576402 hasAuthorship W2950576402A5078253695 @default.
- W2950576402 hasAuthorship W2950576402A5089413793 @default.
- W2950576402 hasBestOaLocation W29505764021 @default.
- W2950576402 hasConcept C111472728 @default.
- W2950576402 hasConcept C11413529 @default.
- W2950576402 hasConcept C120314980 @default.
- W2950576402 hasConcept C138885662 @default.
- W2950576402 hasConcept C149091818 @default.
- W2950576402 hasConcept C177264268 @default.
- W2950576402 hasConcept C199360897 @default.
- W2950576402 hasConcept C2776639384 @default.
- W2950576402 hasConcept C2777904410 @default.
- W2950576402 hasConcept C41008148 @default.
- W2950576402 hasConcept C55439883 @default.
- W2950576402 hasConcept C79403827 @default.
- W2950576402 hasConceptScore W2950576402C111472728 @default.
- W2950576402 hasConceptScore W2950576402C11413529 @default.
- W2950576402 hasConceptScore W2950576402C120314980 @default.
- W2950576402 hasConceptScore W2950576402C138885662 @default.
- W2950576402 hasConceptScore W2950576402C149091818 @default.
- W2950576402 hasConceptScore W2950576402C177264268 @default.
- W2950576402 hasConceptScore W2950576402C199360897 @default.
- W2950576402 hasConceptScore W2950576402C2776639384 @default.
- W2950576402 hasConceptScore W2950576402C2777904410 @default.
- W2950576402 hasConceptScore W2950576402C41008148 @default.
- W2950576402 hasConceptScore W2950576402C55439883 @default.
- W2950576402 hasConceptScore W2950576402C79403827 @default.
- W2950576402 hasLocation W29505764021 @default.
- W2950576402 hasOpenAccess W2950576402 @default.
- W2950576402 hasPrimaryLocation W29505764021 @default.
- W2950576402 hasRelatedWork W1528926836 @default.
- W2950576402 hasRelatedWork W1998298131 @default.
- W2950576402 hasRelatedWork W2127719769 @default.
- W2950576402 hasRelatedWork W2145227062 @default.
- W2950576402 hasRelatedWork W2170821048 @default.
- W2950576402 hasRelatedWork W2216923714 @default.
- W2950576402 hasRelatedWork W2362271468 @default.
- W2950576402 hasRelatedWork W2899486387 @default.
- W2950576402 hasRelatedWork W40536107 @default.
- W2950576402 hasRelatedWork W1498814809 @default.