Matches in SemOpenAlex for { <https://semopenalex.org/work/W189869650> ?p ?o ?g. }
- W189869650 endingPage "208" @default.
- W189869650 startingPage "190" @default.
- W189869650 abstract "We present new static analysis methods for proving liveness properties of programs. In particular, with reference to the hierarchy of temporal properties proposed by Manna and Pnueli, we focus on guarantee (i.e., “something good occurs at least once”) and recurrence (i.e., “something good occurs infinitely often”) temporal properties. We generalize the abstract interpretation framework for termination presented by Cousot and Cousot. Specifically, static analyses of guarantee and recurrence temporal properties are systematically derived by abstraction of the program operational trace semantics. These methods automatically infer sufficient preconditions for the temporal properties by reusing existing numerical abstract domains based on piecewise-defined ranking functions. We augment these abstract domains with new abstract operators, including a dual widening. To illustrate the potential of the proposed methods, we have implemented a research prototype static analyzer, for programs written in a C-like syntax, that yielded interesting preliminary results." @default.
- W189869650 created "2016-06-24" @default.
- W189869650 creator A5069148908 @default.
- W189869650 creator A5077439185 @default.
- W189869650 date "2015-01-01" @default.
- W189869650 modified "2023-09-25" @default.
- W189869650 title "Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation" @default.
- W189869650 cites W1489322225 @default.
- W189869650 cites W1516307991 @default.
- W189869650 cites W1518247129 @default.
- W189869650 cites W17381159 @default.
- W189869650 cites W2012816689 @default.
- W189869650 cites W2022228153 @default.
- W189869650 cites W2025480213 @default.
- W189869650 cites W2040243169 @default.
- W189869650 cites W2043100293 @default.
- W189869650 cites W2053262709 @default.
- W189869650 cites W2114695797 @default.
- W189869650 cites W2147348835 @default.
- W189869650 cites W2184410169 @default.
- W189869650 cites W2326644268 @default.
- W189869650 cites W3041524002 @default.
- W189869650 cites W4234667719 @default.
- W189869650 cites W4240126131 @default.
- W189869650 cites W4248689402 @default.
- W189869650 cites W4251912342 @default.
- W189869650 cites W45151810 @default.
- W189869650 cites W77406878 @default.
- W189869650 doi "https://doi.org/10.1007/978-3-662-46081-8_11" @default.
- W189869650 hasPublicationYear "2015" @default.
- W189869650 type Work @default.
- W189869650 sameAs 189869650 @default.
- W189869650 citedByCount "7" @default.
- W189869650 countsByYear W1898696502015 @default.
- W189869650 countsByYear W1898696502016 @default.
- W189869650 countsByYear W1898696502017 @default.
- W189869650 countsByYear W1898696502019 @default.
- W189869650 countsByYear W1898696502022 @default.
- W189869650 crossrefType "book-chapter" @default.
- W189869650 hasAuthorship W189869650A5069148908 @default.
- W189869650 hasAuthorship W189869650A5077439185 @default.
- W189869650 hasBestOaLocation W1898696502 @default.
- W189869650 hasConcept C111472728 @default.
- W189869650 hasConcept C11413529 @default.
- W189869650 hasConcept C124304363 @default.
- W189869650 hasConcept C138885662 @default.
- W189869650 hasConcept C154945302 @default.
- W189869650 hasConcept C15569618 @default.
- W189869650 hasConcept C162324750 @default.
- W189869650 hasConcept C184337299 @default.
- W189869650 hasConcept C199360897 @default.
- W189869650 hasConcept C25016198 @default.
- W189869650 hasConcept C2776436953 @default.
- W189869650 hasConcept C2780654840 @default.
- W189869650 hasConcept C31170391 @default.
- W189869650 hasConcept C34447519 @default.
- W189869650 hasConcept C41008148 @default.
- W189869650 hasConcept C41895202 @default.
- W189869650 hasConcept C527412718 @default.
- W189869650 hasConcept C60048249 @default.
- W189869650 hasConcept C75291252 @default.
- W189869650 hasConcept C80444323 @default.
- W189869650 hasConceptScore W189869650C111472728 @default.
- W189869650 hasConceptScore W189869650C11413529 @default.
- W189869650 hasConceptScore W189869650C124304363 @default.
- W189869650 hasConceptScore W189869650C138885662 @default.
- W189869650 hasConceptScore W189869650C154945302 @default.
- W189869650 hasConceptScore W189869650C15569618 @default.
- W189869650 hasConceptScore W189869650C162324750 @default.
- W189869650 hasConceptScore W189869650C184337299 @default.
- W189869650 hasConceptScore W189869650C199360897 @default.
- W189869650 hasConceptScore W189869650C25016198 @default.
- W189869650 hasConceptScore W189869650C2776436953 @default.
- W189869650 hasConceptScore W189869650C2780654840 @default.
- W189869650 hasConceptScore W189869650C31170391 @default.
- W189869650 hasConceptScore W189869650C34447519 @default.
- W189869650 hasConceptScore W189869650C41008148 @default.
- W189869650 hasConceptScore W189869650C41895202 @default.
- W189869650 hasConceptScore W189869650C527412718 @default.
- W189869650 hasConceptScore W189869650C60048249 @default.
- W189869650 hasConceptScore W189869650C75291252 @default.
- W189869650 hasConceptScore W189869650C80444323 @default.
- W189869650 hasLocation W1898696501 @default.
- W189869650 hasLocation W1898696502 @default.
- W189869650 hasLocation W1898696503 @default.
- W189869650 hasLocation W1898696504 @default.
- W189869650 hasLocation W1898696505 @default.
- W189869650 hasOpenAccess W189869650 @default.
- W189869650 hasPrimaryLocation W1898696501 @default.
- W189869650 hasRelatedWork W1575025334 @default.
- W189869650 hasRelatedWork W1857396602 @default.
- W189869650 hasRelatedWork W192823304 @default.
- W189869650 hasRelatedWork W2005263036 @default.
- W189869650 hasRelatedWork W2074638034 @default.
- W189869650 hasRelatedWork W22602486 @default.
- W189869650 hasRelatedWork W2763629812 @default.
- W189869650 hasRelatedWork W3177169335 @default.
- W189869650 hasRelatedWork W4246531319 @default.