Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021733797> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W3021733797 abstract "We present a method for the automated verification of temporal properties of infinite state systems. Our verification method is based on the specialization of constraint logic programs (CLP) and works in two phases: (1) in the first phase, a CLP specification of an infinite state system is specialized with respect to the initial state of the system and the temporal property to be verified, and (2) in the second phase, the specialized program is evaluated by using a bottom-up strategy. The effectiveness of the method strongly depends on the generalization strategy which is applied during the program specialization phase. We consider several generalization strategies obtained by combining techniques already known in the field of program analysis and program transformation, and we also introduce some new strategies. Then, through many verification experiments, we evaluate the effectiveness of the generalization strategies we have considered. Finally, we compare the implementation of our specialization-based verification method to other constraint-based model checking tools. The experimental results show that our method is competitive with the methods used by those other tools." @default.
- W3021733797 created "2020-05-13" @default.
- W3021733797 creator A5018873219 @default.
- W3021733797 creator A5025420559 @default.
- W3021733797 creator A5028288086 @default.
- W3021733797 creator A5080397323 @default.
- W3021733797 date "2010-01-01" @default.
- W3021733797 modified "2023-09-26" @default.
- W3021733797 title "Generalization Strategies for the Verification of Infinite State Systems." @default.
- W3021733797 hasPublicationYear "2010" @default.
- W3021733797 type Work @default.
- W3021733797 sameAs 3021733797 @default.
- W3021733797 citedByCount "0" @default.
- W3021733797 crossrefType "proceedings-article" @default.
- W3021733797 hasAuthorship W3021733797A5018873219 @default.
- W3021733797 hasAuthorship W3021733797A5025420559 @default.
- W3021733797 hasAuthorship W3021733797A5028288086 @default.
- W3021733797 hasAuthorship W3021733797A5080397323 @default.
- W3021733797 hasConcept C104317684 @default.
- W3021733797 hasConcept C110251889 @default.
- W3021733797 hasConcept C111472728 @default.
- W3021733797 hasConcept C111498074 @default.
- W3021733797 hasConcept C11413529 @default.
- W3021733797 hasConcept C126255220 @default.
- W3021733797 hasConcept C134306372 @default.
- W3021733797 hasConcept C138885662 @default.
- W3021733797 hasConcept C154945302 @default.
- W3021733797 hasConcept C176783269 @default.
- W3021733797 hasConcept C177148314 @default.
- W3021733797 hasConcept C185592680 @default.
- W3021733797 hasConcept C189950617 @default.
- W3021733797 hasConcept C204241405 @default.
- W3021733797 hasConcept C2524010 @default.
- W3021733797 hasConcept C2776036281 @default.
- W3021733797 hasConcept C33923547 @default.
- W3021733797 hasConcept C41008148 @default.
- W3021733797 hasConcept C44616089 @default.
- W3021733797 hasConcept C48103436 @default.
- W3021733797 hasConcept C49937458 @default.
- W3021733797 hasConcept C55493867 @default.
- W3021733797 hasConcept C80444323 @default.
- W3021733797 hasConceptScore W3021733797C104317684 @default.
- W3021733797 hasConceptScore W3021733797C110251889 @default.
- W3021733797 hasConceptScore W3021733797C111472728 @default.
- W3021733797 hasConceptScore W3021733797C111498074 @default.
- W3021733797 hasConceptScore W3021733797C11413529 @default.
- W3021733797 hasConceptScore W3021733797C126255220 @default.
- W3021733797 hasConceptScore W3021733797C134306372 @default.
- W3021733797 hasConceptScore W3021733797C138885662 @default.
- W3021733797 hasConceptScore W3021733797C154945302 @default.
- W3021733797 hasConceptScore W3021733797C176783269 @default.
- W3021733797 hasConceptScore W3021733797C177148314 @default.
- W3021733797 hasConceptScore W3021733797C185592680 @default.
- W3021733797 hasConceptScore W3021733797C189950617 @default.
- W3021733797 hasConceptScore W3021733797C204241405 @default.
- W3021733797 hasConceptScore W3021733797C2524010 @default.
- W3021733797 hasConceptScore W3021733797C2776036281 @default.
- W3021733797 hasConceptScore W3021733797C33923547 @default.
- W3021733797 hasConceptScore W3021733797C41008148 @default.
- W3021733797 hasConceptScore W3021733797C44616089 @default.
- W3021733797 hasConceptScore W3021733797C48103436 @default.
- W3021733797 hasConceptScore W3021733797C49937458 @default.
- W3021733797 hasConceptScore W3021733797C55493867 @default.
- W3021733797 hasConceptScore W3021733797C80444323 @default.
- W3021733797 hasLocation W30217337971 @default.
- W3021733797 hasOpenAccess W3021733797 @default.
- W3021733797 hasPrimaryLocation W30217337971 @default.
- W3021733797 hasRelatedWork W1854246520 @default.
- W3021733797 hasRelatedWork W1876619044 @default.
- W3021733797 hasRelatedWork W1891940185 @default.
- W3021733797 hasRelatedWork W1975041710 @default.
- W3021733797 hasRelatedWork W2005194005 @default.
- W3021733797 hasRelatedWork W2124412120 @default.
- W3021733797 hasRelatedWork W2137313863 @default.
- W3021733797 hasRelatedWork W2260592993 @default.
- W3021733797 hasRelatedWork W2318396582 @default.
- W3021733797 hasRelatedWork W2346618204 @default.
- W3021733797 hasRelatedWork W2397181844 @default.
- W3021733797 hasRelatedWork W253208060 @default.
- W3021733797 hasRelatedWork W2596310084 @default.
- W3021733797 hasRelatedWork W2616886744 @default.
- W3021733797 hasRelatedWork W2789524546 @default.
- W3021733797 hasRelatedWork W2949449944 @default.
- W3021733797 hasRelatedWork W3209199031 @default.
- W3021733797 hasRelatedWork W1668408280 @default.
- W3021733797 hasRelatedWork W1966363627 @default.
- W3021733797 hasRelatedWork W2517453478 @default.
- W3021733797 isParatext "false" @default.
- W3021733797 isRetracted "false" @default.
- W3021733797 magId "3021733797" @default.
- W3021733797 workType "article" @default.