FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124412120> ?p ?o ?g. }

• W2124412120 endingPage "199" @default.
• W2124412120 startingPage "175" @default.
• W2124412120 abstract "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.
• W2124412120 created "2016-06-24" @default.
• W2124412120 creator A5018873219 @default.
• W2124412120 creator A5025420559 @default.
• W2124412120 creator A5028288086 @default.
• W2124412120 creator A5080397323 @default.
• W2124412120 date "2012-01-25" @default.
• W2124412120 modified "2023-09-27" @default.
• W2124412120 title "Generalization strategies for the verification of infinite state systems" @default.
• W2124412120 cites W1481147975 @default.
• W2124412120 cites W1542269056 @default.
• W2124412120 cites W1554694043 @default.
• W2124412120 cites W1605914607 @default.
• W2124412120 cites W1695437353 @default.
• W2124412120 cites W1813383841 @default.
• W2124412120 cites W1975952423 @default.
• W2124412120 cites W1977601940 @default.
• W2124412120 cites W1990239819 @default.
• W2124412120 cites W1995151557 @default.
• W2124412120 cites W2010729520 @default.
• W2124412120 cites W2031276295 @default.
• W2124412120 cites W2043140417 @default.
• W2124412120 cites W2060095702 @default.
• W2124412120 cites W2063727779 @default.
• W2124412120 cites W2067840450 @default.
• W2124412120 cites W2080593426 @default.
• W2124412120 cites W2087997226 @default.
• W2124412120 cites W2090106217 @default.
• W2124412120 cites W2097366413 @default.
• W2124412120 cites W2131624124 @default.
• W2124412120 cites W2132661148 @default.
• W2124412120 cites W2137818097 @default.
• W2124412120 cites W2151897509 @default.
• W2124412120 doi "https://doi.org/10.1017/s1471068411000627" @default.
• W2124412120 hasPublicationYear "2012" @default.
• W2124412120 type Work @default.
• W2124412120 sameAs 2124412120 @default.
• W2124412120 citedByCount "39" @default.
• W2124412120 countsByYear W21244121202012 @default.
• W2124412120 countsByYear W21244121202013 @default.
• W2124412120 countsByYear W21244121202014 @default.
• W2124412120 countsByYear W21244121202015 @default.
• W2124412120 countsByYear W21244121202017 @default.
• W2124412120 countsByYear W21244121202018 @default.
• W2124412120 countsByYear W21244121202019 @default.
• W2124412120 countsByYear W21244121202020 @default.
• W2124412120 countsByYear W21244121202021 @default.
• W2124412120 countsByYear W21244121202022 @default.
• W2124412120 countsByYear W21244121202023 @default.
• W2124412120 crossrefType "journal-article" @default.
• W2124412120 hasAuthorship W2124412120A5018873219 @default.
• W2124412120 hasAuthorship W2124412120A5025420559 @default.
• W2124412120 hasAuthorship W2124412120A5028288086 @default.
• W2124412120 hasAuthorship W2124412120A5080397323 @default.
• W2124412120 hasBestOaLocation W21244121202 @default.
• W2124412120 hasConcept C104317684 @default.
• W2124412120 hasConcept C110251889 @default.
• W2124412120 hasConcept C111472728 @default.
• W2124412120 hasConcept C111498074 @default.
• W2124412120 hasConcept C11413529 @default.
• W2124412120 hasConcept C134306372 @default.
• W2124412120 hasConcept C138885662 @default.
• W2124412120 hasConcept C177148314 @default.
• W2124412120 hasConcept C185592680 @default.
• W2124412120 hasConcept C189950617 @default.
• W2124412120 hasConcept C204241405 @default.
• W2124412120 hasConcept C2524010 @default.
• W2124412120 hasConcept C2776036281 @default.
• W2124412120 hasConcept C33923547 @default.
• W2124412120 hasConcept C41008148 @default.
• W2124412120 hasConcept C48103436 @default.
• W2124412120 hasConcept C55493867 @default.
• W2124412120 hasConcept C62460635 @default.
• W2124412120 hasConcept C80444323 @default.
• W2124412120 hasConceptScore W2124412120C104317684 @default.
• W2124412120 hasConceptScore W2124412120C110251889 @default.
• W2124412120 hasConceptScore W2124412120C111472728 @default.
• W2124412120 hasConceptScore W2124412120C111498074 @default.
• W2124412120 hasConceptScore W2124412120C11413529 @default.
• W2124412120 hasConceptScore W2124412120C134306372 @default.
• W2124412120 hasConceptScore W2124412120C138885662 @default.
• W2124412120 hasConceptScore W2124412120C177148314 @default.
• W2124412120 hasConceptScore W2124412120C185592680 @default.
• W2124412120 hasConceptScore W2124412120C189950617 @default.
• W2124412120 hasConceptScore W2124412120C204241405 @default.
• W2124412120 hasConceptScore W2124412120C2524010 @default.
• W2124412120 hasConceptScore W2124412120C2776036281 @default.
• W2124412120 hasConceptScore W2124412120C33923547 @default.
• W2124412120 hasConceptScore W2124412120C41008148 @default.
• W2124412120 hasConceptScore W2124412120C48103436 @default.
• W2124412120 hasConceptScore W2124412120C55493867 @default.
• W2124412120 hasConceptScore W2124412120C62460635 @default.
• W2124412120 hasConceptScore W2124412120C80444323 @default.
• W2124412120 hasIssue "2" @default.
• W2124412120 hasLocation W21244121201 @default.
• W2124412120 hasLocation W21244121202 @default.
• W2124412120 hasOpenAccess W2124412120 @default.
• W2124412120 hasPrimaryLocation W21244121201 @default.

• next