Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301803792> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4301803792 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. To appear in Theory and Practice of Logic Programming (TPLP)." @default.
- W4301803792 created "2022-10-05" @default.
- W4301803792 creator A5018873219 @default.
- W4301803792 creator A5025420559 @default.
- W4301803792 creator A5028288086 @default.
- W4301803792 creator A5080397323 @default.
- W4301803792 date "2011-10-05" @default.
- W4301803792 modified "2023-10-16" @default.
- W4301803792 title "Generalization Strategies for the Verification of Infinite State Systems" @default.
- W4301803792 doi "https://doi.org/10.48550/arxiv.1110.0999" @default.
- W4301803792 hasPublicationYear "2011" @default.
- W4301803792 type Work @default.
- W4301803792 citedByCount "0" @default.
- W4301803792 crossrefType "posted-content" @default.
- W4301803792 hasAuthorship W4301803792A5018873219 @default.
- W4301803792 hasAuthorship W4301803792A5025420559 @default.
- W4301803792 hasAuthorship W4301803792A5028288086 @default.
- W4301803792 hasAuthorship W4301803792A5080397323 @default.
- W4301803792 hasBestOaLocation W43018037921 @default.
- W4301803792 hasConcept C104317684 @default.
- W4301803792 hasConcept C111472728 @default.
- W4301803792 hasConcept C11413529 @default.
- W4301803792 hasConcept C134306372 @default.
- W4301803792 hasConcept C138885662 @default.
- W4301803792 hasConcept C154945302 @default.
- W4301803792 hasConcept C176783269 @default.
- W4301803792 hasConcept C177148314 @default.
- W4301803792 hasConcept C185592680 @default.
- W4301803792 hasConcept C189950617 @default.
- W4301803792 hasConcept C204241405 @default.
- W4301803792 hasConcept C2524010 @default.
- W4301803792 hasConcept C2776036281 @default.
- W4301803792 hasConcept C33923547 @default.
- W4301803792 hasConcept C41008148 @default.
- W4301803792 hasConcept C44616089 @default.
- W4301803792 hasConcept C48103436 @default.
- W4301803792 hasConcept C49937458 @default.
- W4301803792 hasConcept C55493867 @default.
- W4301803792 hasConcept C80444323 @default.
- W4301803792 hasConceptScore W4301803792C104317684 @default.
- W4301803792 hasConceptScore W4301803792C111472728 @default.
- W4301803792 hasConceptScore W4301803792C11413529 @default.
- W4301803792 hasConceptScore W4301803792C134306372 @default.
- W4301803792 hasConceptScore W4301803792C138885662 @default.
- W4301803792 hasConceptScore W4301803792C154945302 @default.
- W4301803792 hasConceptScore W4301803792C176783269 @default.
- W4301803792 hasConceptScore W4301803792C177148314 @default.
- W4301803792 hasConceptScore W4301803792C185592680 @default.
- W4301803792 hasConceptScore W4301803792C189950617 @default.
- W4301803792 hasConceptScore W4301803792C204241405 @default.
- W4301803792 hasConceptScore W4301803792C2524010 @default.
- W4301803792 hasConceptScore W4301803792C2776036281 @default.
- W4301803792 hasConceptScore W4301803792C33923547 @default.
- W4301803792 hasConceptScore W4301803792C41008148 @default.
- W4301803792 hasConceptScore W4301803792C44616089 @default.
- W4301803792 hasConceptScore W4301803792C48103436 @default.
- W4301803792 hasConceptScore W4301803792C49937458 @default.
- W4301803792 hasConceptScore W4301803792C55493867 @default.
- W4301803792 hasConceptScore W4301803792C80444323 @default.
- W4301803792 hasLocation W43018037921 @default.
- W4301803792 hasOpenAccess W4301803792 @default.
- W4301803792 hasPrimaryLocation W43018037921 @default.
- W4301803792 hasRelatedWork W1486916474 @default.
- W4301803792 hasRelatedWork W1971069708 @default.
- W4301803792 hasRelatedWork W1992788758 @default.
- W4301803792 hasRelatedWork W2052327616 @default.
- W4301803792 hasRelatedWork W2070692358 @default.
- W4301803792 hasRelatedWork W2097415053 @default.
- W4301803792 hasRelatedWork W2108597517 @default.
- W4301803792 hasRelatedWork W2334636689 @default.
- W4301803792 hasRelatedWork W4281751595 @default.
- W4301803792 hasRelatedWork W1770162292 @default.
- W4301803792 isParatext "false" @default.
- W4301803792 isRetracted "false" @default.
- W4301803792 workType "article" @default.