Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579190584> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1579190584 endingPage "162" @default.
- W1579190584 startingPage "146" @default.
- W1579190584 abstract "This paper presents a new framework for checking bounded reachability properties of asynchronous systems by reducing the problem to satisfiability in difference logic. The analysis is bounded by fixing a finite set of potential events, each of which may occur at most once in any order. The events are specified using high-level Petri nets. The proposed logic encoding describes the space of possible causal links between events rather than possible sequences of states as in Bounded Model Checking. Independence between events is exploited intrinsically without partial order reductions, and the handling of data is symbolic. Experiments with a proof-of-concept implementation of the technique show that it has the potential to far exceed the performance of Bounded Model Checking." @default.
- W1579190584 created "2016-06-24" @default.
- W1579190584 creator A5025256981 @default.
- W1579190584 date "2010-01-01" @default.
- W1579190584 modified "2023-09-25" @default.
- W1579190584 title "Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing" @default.
- W1579190584 cites W125115239 @default.
- W1579190584 cites W1481613203 @default.
- W1579190584 cites W1532000439 @default.
- W1579190584 cites W1559793414 @default.
- W1579190584 cites W1560743762 @default.
- W1579190584 cites W1565898282 @default.
- W1579190584 cites W1579190584 @default.
- W1579190584 cites W1782479956 @default.
- W1579190584 cites W1787074469 @default.
- W1579190584 cites W1850312962 @default.
- W1579190584 cites W2031525781 @default.
- W1579190584 cites W2039492255 @default.
- W1579190584 cites W2046239089 @default.
- W1579190584 cites W2087771409 @default.
- W1579190584 cites W2099229802 @default.
- W1579190584 cites W2101990169 @default.
- W1579190584 cites W2129538349 @default.
- W1579190584 cites W2160781056 @default.
- W1579190584 cites W2163651657 @default.
- W1579190584 cites W4241212268 @default.
- W1579190584 doi "https://doi.org/10.1007/978-3-642-11319-2_13" @default.
- W1579190584 hasPublicationYear "2010" @default.
- W1579190584 type Work @default.
- W1579190584 sameAs 1579190584 @default.
- W1579190584 citedByCount "4" @default.
- W1579190584 countsByYear W15791905842012 @default.
- W1579190584 crossrefType "book-chapter" @default.
- W1579190584 hasAuthorship W1579190584A5025256981 @default.
- W1579190584 hasBestOaLocation W15791905842 @default.
- W1579190584 hasConcept C110251889 @default.
- W1579190584 hasConcept C11413529 @default.
- W1579190584 hasConcept C118615104 @default.
- W1579190584 hasConcept C134306372 @default.
- W1579190584 hasConcept C136643341 @default.
- W1579190584 hasConcept C151319957 @default.
- W1579190584 hasConcept C168773769 @default.
- W1579190584 hasConcept C177264268 @default.
- W1579190584 hasConcept C199360897 @default.
- W1579190584 hasConcept C2777669093 @default.
- W1579190584 hasConcept C31258907 @default.
- W1579190584 hasConcept C33923547 @default.
- W1579190584 hasConcept C34388435 @default.
- W1579190584 hasConcept C38677869 @default.
- W1579190584 hasConcept C41008148 @default.
- W1579190584 hasConcept C80444323 @default.
- W1579190584 hasConceptScore W1579190584C110251889 @default.
- W1579190584 hasConceptScore W1579190584C11413529 @default.
- W1579190584 hasConceptScore W1579190584C118615104 @default.
- W1579190584 hasConceptScore W1579190584C134306372 @default.
- W1579190584 hasConceptScore W1579190584C136643341 @default.
- W1579190584 hasConceptScore W1579190584C151319957 @default.
- W1579190584 hasConceptScore W1579190584C168773769 @default.
- W1579190584 hasConceptScore W1579190584C177264268 @default.
- W1579190584 hasConceptScore W1579190584C199360897 @default.
- W1579190584 hasConceptScore W1579190584C2777669093 @default.
- W1579190584 hasConceptScore W1579190584C31258907 @default.
- W1579190584 hasConceptScore W1579190584C33923547 @default.
- W1579190584 hasConceptScore W1579190584C34388435 @default.
- W1579190584 hasConceptScore W1579190584C38677869 @default.
- W1579190584 hasConceptScore W1579190584C41008148 @default.
- W1579190584 hasConceptScore W1579190584C80444323 @default.
- W1579190584 hasLocation W15791905841 @default.
- W1579190584 hasLocation W15791905842 @default.
- W1579190584 hasLocation W15791905843 @default.
- W1579190584 hasOpenAccess W1579190584 @default.
- W1579190584 hasPrimaryLocation W15791905841 @default.
- W1579190584 hasRelatedWork W1579190584 @default.
- W1579190584 hasRelatedWork W1597683009 @default.
- W1579190584 hasRelatedWork W1853345069 @default.
- W1579190584 hasRelatedWork W1972910911 @default.
- W1579190584 hasRelatedWork W2047831585 @default.
- W1579190584 hasRelatedWork W2341552178 @default.
- W1579190584 hasRelatedWork W2349238914 @default.
- W1579190584 hasRelatedWork W3102946820 @default.
- W1579190584 hasRelatedWork W4253760428 @default.
- W1579190584 hasRelatedWork W4295885746 @default.
- W1579190584 isParatext "false" @default.
- W1579190584 isRetracted "false" @default.
- W1579190584 magId "1579190584" @default.
- W1579190584 workType "book-chapter" @default.