Matches in SemOpenAlex for { <https://semopenalex.org/work/W2749142100> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2749142100 abstract "In this paper we describe our intended approach for the verification of software written in imperative programming languages. We base our approach on model checking of graph transition systems, where each state is a graph and the transitions are specified by graph transformation rules. We believe that graph transformation is a very suitable technique to model the execution semantics of languages with dynamic memory allocation. Furthermore, such representation allows us to investigate the use of graph abstractions, which can mitigate the combinatorial explosion inherent to model checking. In addition to presenting our planned approach, we reason about its feasibility, and, by providing a brief comparison to other existing methods, we highlight the benefits and drawbacks that are expected." @default.
- W2749142100 created "2017-08-31" @default.
- W2749142100 creator A5037086805 @default.
- W2749142100 creator A5045219123 @default.
- W2749142100 date "2009-04-01" @default.
- W2749142100 modified "2023-09-23" @default.
- W2749142100 title "Using Graph Transformations and Graph Abstractions for Software Verification" @default.
- W2749142100 hasPublicationYear "2009" @default.
- W2749142100 type Work @default.
- W2749142100 sameAs 2749142100 @default.
- W2749142100 citedByCount "0" @default.
- W2749142100 crossrefType "journal-article" @default.
- W2749142100 hasAuthorship W2749142100A5037086805 @default.
- W2749142100 hasAuthorship W2749142100A5045219123 @default.
- W2749142100 hasConcept C110251889 @default.
- W2749142100 hasConcept C132525143 @default.
- W2749142100 hasConcept C154945302 @default.
- W2749142100 hasConcept C199360897 @default.
- W2749142100 hasConcept C2776436953 @default.
- W2749142100 hasConcept C2779791154 @default.
- W2749142100 hasConcept C41008148 @default.
- W2749142100 hasConcept C558772884 @default.
- W2749142100 hasConcept C80444323 @default.
- W2749142100 hasConceptScore W2749142100C110251889 @default.
- W2749142100 hasConceptScore W2749142100C132525143 @default.
- W2749142100 hasConceptScore W2749142100C154945302 @default.
- W2749142100 hasConceptScore W2749142100C199360897 @default.
- W2749142100 hasConceptScore W2749142100C2776436953 @default.
- W2749142100 hasConceptScore W2749142100C2779791154 @default.
- W2749142100 hasConceptScore W2749142100C41008148 @default.
- W2749142100 hasConceptScore W2749142100C558772884 @default.
- W2749142100 hasConceptScore W2749142100C80444323 @default.
- W2749142100 hasOpenAccess W2749142100 @default.
- W2749142100 hasRelatedWork W1517195919 @default.
- W2749142100 hasRelatedWork W1541203659 @default.
- W2749142100 hasRelatedWork W1547029360 @default.
- W2749142100 hasRelatedWork W1854891796 @default.
- W2749142100 hasRelatedWork W1964687360 @default.
- W2749142100 hasRelatedWork W1979785613 @default.
- W2749142100 hasRelatedWork W2110876598 @default.
- W2749142100 hasRelatedWork W2116959936 @default.
- W2749142100 hasRelatedWork W2124321651 @default.
- W2749142100 hasRelatedWork W2137037380 @default.
- W2749142100 hasRelatedWork W2146571888 @default.
- W2749142100 hasRelatedWork W2188226105 @default.
- W2749142100 hasRelatedWork W2552319550 @default.
- W2749142100 hasRelatedWork W2673293219 @default.
- W2749142100 hasRelatedWork W2787389163 @default.
- W2749142100 hasRelatedWork W2883853180 @default.
- W2749142100 hasRelatedWork W2969573567 @default.
- W2749142100 hasRelatedWork W2972311463 @default.
- W2749142100 hasRelatedWork W3186180380 @default.
- W2749142100 hasRelatedWork W2184320086 @default.
- W2749142100 isParatext "false" @default.
- W2749142100 isRetracted "false" @default.
- W2749142100 magId "2749142100" @default.
- W2749142100 workType "article" @default.