Matches in SemOpenAlex for { <https://semopenalex.org/work/W81185357> ?p ?o ?g. }
- W81185357 endingPage "45" @default.
- W81185357 startingPage "22" @default.
- W81185357 abstract "Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties as described by the slicing criterion are preserved, i.e., they hold in the complete program if and only if they hold in the sliced program. During verification, slicing is often employed to reduce the state space of specifications to a size tractable by a model checker.The computation of specification slices relies on the construction of dependence graphs, reflecting (at least) control and data dependencies in specifications. The more dependencies the graph has, the less removal of parts is possible. In this paper we present a technique for optimizing the construction of the dependence graph by using deductive verification techniques. More precisely, we propose a technique for showing that certain control dependencies in the graph can be eliminated. The technique employs small deductive proofs of the enabledness of certain transitions. Thereby we obtain dependence graphs with less control dependencies and as a consequence smaller specification slices which are an easier target for model checking." @default.
- W81185357 created "2016-06-24" @default.
- W81185357 creator A5001895454 @default.
- W81185357 creator A5046915601 @default.
- W81185357 creator A5083738758 @default.
- W81185357 date "2006-06-01" @default.
- W81185357 modified "2023-10-01" @default.
- W81185357 title "Optimizing slicing of formal specifications by deductive verification" @default.
- W81185357 cites W123523327 @default.
- W81185357 cites W1483447793 @default.
- W81185357 cites W1488659932 @default.
- W81185357 cites W1515198557 @default.
- W81185357 cites W1520096217 @default.
- W81185357 cites W1533386851 @default.
- W81185357 cites W1540180001 @default.
- W81185357 cites W1546119015 @default.
- W81185357 cites W1546606300 @default.
- W81185357 cites W1553894716 @default.
- W81185357 cites W1564637213 @default.
- W81185357 cites W1588335385 @default.
- W81185357 cites W1907309577 @default.
- W81185357 cites W1964060567 @default.
- W81185357 cites W1966360373 @default.
- W81185357 cites W1983678175 @default.
- W81185357 cites W1984248430 @default.
- W81185357 cites W1989712291 @default.
- W81185357 cites W1992138614 @default.
- W81185357 cites W2005771507 @default.
- W81185357 cites W2006406722 @default.
- W81185357 cites W2007121005 @default.
- W81185357 cites W2019091418 @default.
- W81185357 cites W2030224590 @default.
- W81185357 cites W2050280527 @default.
- W81185357 cites W2068674794 @default.
- W81185357 cites W2078882461 @default.
- W81185357 cites W2092483417 @default.
- W81185357 cites W2105162671 @default.
- W81185357 cites W2106192381 @default.
- W81185357 cites W2107646689 @default.
- W81185357 cites W2122749276 @default.
- W81185357 cites W2124228276 @default.
- W81185357 cites W2129384397 @default.
- W81185357 cites W2132644164 @default.
- W81185357 cites W2137126136 @default.
- W81185357 cites W2141109493 @default.
- W81185357 cites W2147088720 @default.
- W81185357 cites W2153265459 @default.
- W81185357 cites W2157402204 @default.
- W81185357 cites W2158395308 @default.
- W81185357 cites W2161247990 @default.
- W81185357 cites W2162310108 @default.
- W81185357 cites W2170098700 @default.
- W81185357 cites W2174627168 @default.
- W81185357 cites W2176300081 @default.
- W81185357 cites W2293624369 @default.
- W81185357 cites W2395196255 @default.
- W81185357 cites W2913459036 @default.
- W81185357 cites W2987907651 @default.
- W81185357 cites W3023118559 @default.
- W81185357 cites W303139982 @default.
- W81185357 cites W3144368627 @default.
- W81185357 cites W3146075203 @default.
- W81185357 cites W53653091 @default.
- W81185357 cites W2527288790 @default.
- W81185357 cites W2585190023 @default.
- W81185357 cites W3142790043 @default.
- W81185357 hasPublicationYear "2006" @default.
- W81185357 type Work @default.
- W81185357 sameAs 81185357 @default.
- W81185357 citedByCount "1" @default.
- W81185357 crossrefType "proceedings-article" @default.
- W81185357 hasAuthorship W81185357A5001895454 @default.
- W81185357 hasAuthorship W81185357A5046915601 @default.
- W81185357 hasAuthorship W81185357A5083738758 @default.
- W81185357 hasConcept C108710211 @default.
- W81185357 hasConcept C110251889 @default.
- W81185357 hasConcept C111498074 @default.
- W81185357 hasConcept C11413529 @default.
- W81185357 hasConcept C116253237 @default.
- W81185357 hasConcept C132525143 @default.
- W81185357 hasConcept C136764020 @default.
- W81185357 hasConcept C199360897 @default.
- W81185357 hasConcept C2524010 @default.
- W81185357 hasConcept C2776190703 @default.
- W81185357 hasConcept C33923547 @default.
- W81185357 hasConcept C41008148 @default.
- W81185357 hasConcept C45374587 @default.
- W81185357 hasConcept C75606506 @default.
- W81185357 hasConcept C80444323 @default.
- W81185357 hasConcept C91071405 @default.
- W81185357 hasConceptScore W81185357C108710211 @default.
- W81185357 hasConceptScore W81185357C110251889 @default.
- W81185357 hasConceptScore W81185357C111498074 @default.
- W81185357 hasConceptScore W81185357C11413529 @default.
- W81185357 hasConceptScore W81185357C116253237 @default.
- W81185357 hasConceptScore W81185357C132525143 @default.
- W81185357 hasConceptScore W81185357C136764020 @default.
- W81185357 hasConceptScore W81185357C199360897 @default.