Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547029360> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1547029360 abstract "Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, cover- ing areas as diverse as refactorings, network topologies or reconfigurable software. Being a formal method, graph transformation systems lend themselves to a formal analysis. This has inspired the development of various verification methods, in particular also model checking tools. In this paper, we present a verification technique for infinite-state graph transformation systems. The technique employs the abstraction principle used in shape analysis of programs, summarising possibly infinitely many nodes thus giving shape graphs. The technique has been implemented using the 3-valued logical foundations of standard shape analysis. We exemplify the approach on an example from the railway domain." @default.
- W1547029360 created "2016-06-24" @default.
- W1547029360 creator A5005373737 @default.
- W1547029360 creator A5043271085 @default.
- W1547029360 creator A5046915601 @default.
- W1547029360 date "2010-10-21" @default.
- W1547029360 modified "2023-10-01" @default.
- W1547029360 title "Towards A Shape Analysis for Graph Transformation Systems" @default.
- W1547029360 cites W1498244333 @default.
- W1547029360 cites W1512007370 @default.
- W1547029360 cites W1520962304 @default.
- W1547029360 cites W1523742478 @default.
- W1547029360 cites W1537720651 @default.
- W1547029360 cites W1583869287 @default.
- W1547029360 cites W1603721515 @default.
- W1547029360 cites W1650107222 @default.
- W1547029360 cites W1991837261 @default.
- W1547029360 cites W2074683366 @default.
- W1547029360 cites W2095776241 @default.
- W1547029360 cites W2099991819 @default.
- W1547029360 cites W2111038497 @default.
- W1547029360 cites W2127455123 @default.
- W1547029360 cites W2131966463 @default.
- W1547029360 cites W2136654769 @default.
- W1547029360 hasPublicationYear "2010" @default.
- W1547029360 type Work @default.
- W1547029360 sameAs 1547029360 @default.
- W1547029360 citedByCount "0" @default.
- W1547029360 crossrefType "posted-content" @default.
- W1547029360 hasAuthorship W1547029360A5005373737 @default.
- W1547029360 hasAuthorship W1547029360A5043271085 @default.
- W1547029360 hasAuthorship W1547029360A5046915601 @default.
- W1547029360 hasConcept C104317684 @default.
- W1547029360 hasConcept C110251889 @default.
- W1547029360 hasConcept C111472728 @default.
- W1547029360 hasConcept C111498074 @default.
- W1547029360 hasConcept C11413529 @default.
- W1547029360 hasConcept C124304363 @default.
- W1547029360 hasConcept C132525143 @default.
- W1547029360 hasConcept C138885662 @default.
- W1547029360 hasConcept C154945302 @default.
- W1547029360 hasConcept C185592680 @default.
- W1547029360 hasConcept C199360897 @default.
- W1547029360 hasConcept C204241405 @default.
- W1547029360 hasConcept C2776436953 @default.
- W1547029360 hasConcept C2779791154 @default.
- W1547029360 hasConcept C41008148 @default.
- W1547029360 hasConcept C55493867 @default.
- W1547029360 hasConcept C558772884 @default.
- W1547029360 hasConcept C80444323 @default.
- W1547029360 hasConceptScore W1547029360C104317684 @default.
- W1547029360 hasConceptScore W1547029360C110251889 @default.
- W1547029360 hasConceptScore W1547029360C111472728 @default.
- W1547029360 hasConceptScore W1547029360C111498074 @default.
- W1547029360 hasConceptScore W1547029360C11413529 @default.
- W1547029360 hasConceptScore W1547029360C124304363 @default.
- W1547029360 hasConceptScore W1547029360C132525143 @default.
- W1547029360 hasConceptScore W1547029360C138885662 @default.
- W1547029360 hasConceptScore W1547029360C154945302 @default.
- W1547029360 hasConceptScore W1547029360C185592680 @default.
- W1547029360 hasConceptScore W1547029360C199360897 @default.
- W1547029360 hasConceptScore W1547029360C204241405 @default.
- W1547029360 hasConceptScore W1547029360C2776436953 @default.
- W1547029360 hasConceptScore W1547029360C2779791154 @default.
- W1547029360 hasConceptScore W1547029360C41008148 @default.
- W1547029360 hasConceptScore W1547029360C55493867 @default.
- W1547029360 hasConceptScore W1547029360C558772884 @default.
- W1547029360 hasConceptScore W1547029360C80444323 @default.
- W1547029360 hasLocation W15470293601 @default.
- W1547029360 hasOpenAccess W1547029360 @default.
- W1547029360 hasPrimaryLocation W15470293601 @default.
- W1547029360 hasRelatedWork W1483085445 @default.
- W1547029360 hasRelatedWork W1519151404 @default.
- W1547029360 hasRelatedWork W1534251038 @default.
- W1547029360 hasRelatedWork W1593468126 @default.
- W1547029360 hasRelatedWork W1965412645 @default.
- W1547029360 hasRelatedWork W1974611422 @default.
- W1547029360 hasRelatedWork W1989383032 @default.
- W1547029360 hasRelatedWork W206915583 @default.
- W1547029360 hasRelatedWork W2087327214 @default.
- W1547029360 hasRelatedWork W2095776241 @default.
- W1547029360 hasRelatedWork W2110876598 @default.
- W1547029360 hasRelatedWork W2112813452 @default.
- W1547029360 hasRelatedWork W2124321651 @default.
- W1547029360 hasRelatedWork W2132595103 @default.
- W1547029360 hasRelatedWork W2162519285 @default.
- W1547029360 hasRelatedWork W2180463795 @default.
- W1547029360 hasRelatedWork W2787389163 @default.
- W1547029360 hasRelatedWork W2969573567 @default.
- W1547029360 hasRelatedWork W3186180380 @default.
- W1547029360 hasRelatedWork W68511995 @default.
- W1547029360 isParatext "false" @default.
- W1547029360 isRetracted "false" @default.
- W1547029360 magId "1547029360" @default.
- W1547029360 workType "article" @default.