Matches in SemOpenAlex for { <https://semopenalex.org/work/W1864138857> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1864138857 endingPage "310" @default.
- W1864138857 startingPage "298" @default.
- W1864138857 abstract "We propose a new symbolic model checking algorithm for parameterized concurrent systems modeled as (Lossy) Petri Nets, and (Lossy) Vector Addition Systems, based on the following ingredients: a rich assertional language based on the graph-based symbolic representation of upward-closed sets introduced in [DR00], the combination of the backward reachability algorithm of [ACJT96] lifted to the symbolic setting with a new heuristic rule based on structural properties of Petri Nets. We evaluate the method on several Petri Nets and parameterized systems taken from the literature [ABC+95,EM00,Fin93,MC99], and we compare the results with other finite and infinite-state verification tools." @default.
- W1864138857 created "2016-06-24" @default.
- W1864138857 creator A5032668408 @default.
- W1864138857 creator A5050196522 @default.
- W1864138857 creator A5071901297 @default.
- W1864138857 date "2001-01-01" @default.
- W1864138857 modified "2023-09-27" @default.
- W1864138857 title "Attacking Symbolic State Explosion" @default.
- W1864138857 cites W1488219274 @default.
- W1864138857 cites W1496749443 @default.
- W1864138857 cites W1511470875 @default.
- W1864138857 cites W1521601620 @default.
- W1864138857 cites W1570743953 @default.
- W1864138857 cites W1572952339 @default.
- W1864138857 cites W1585402899 @default.
- W1864138857 cites W1595979400 @default.
- W1864138857 cites W1777025722 @default.
- W1864138857 cites W1810198311 @default.
- W1864138857 cites W1816169393 @default.
- W1864138857 cites W1854314632 @default.
- W1864138857 cites W1874996599 @default.
- W1864138857 cites W1905380539 @default.
- W1864138857 cites W1967174286 @default.
- W1864138857 cites W2036526834 @default.
- W1864138857 cites W2078423317 @default.
- W1864138857 cites W2129073086 @default.
- W1864138857 doi "https://doi.org/10.1007/3-540-44585-4_28" @default.
- W1864138857 hasPublicationYear "2001" @default.
- W1864138857 type Work @default.
- W1864138857 sameAs 1864138857 @default.
- W1864138857 citedByCount "27" @default.
- W1864138857 countsByYear W18641388572012 @default.
- W1864138857 countsByYear W18641388572016 @default.
- W1864138857 countsByYear W18641388572017 @default.
- W1864138857 countsByYear W18641388572022 @default.
- W1864138857 crossrefType "book-chapter" @default.
- W1864138857 hasAuthorship W1864138857A5032668408 @default.
- W1864138857 hasAuthorship W1864138857A5050196522 @default.
- W1864138857 hasAuthorship W1864138857A5071901297 @default.
- W1864138857 hasBestOaLocation W18641388571 @default.
- W1864138857 hasConcept C110251889 @default.
- W1864138857 hasConcept C11413529 @default.
- W1864138857 hasConcept C132525143 @default.
- W1864138857 hasConcept C136643341 @default.
- W1864138857 hasConcept C154945302 @default.
- W1864138857 hasConcept C165021410 @default.
- W1864138857 hasConcept C165464430 @default.
- W1864138857 hasConcept C173801870 @default.
- W1864138857 hasConcept C17744445 @default.
- W1864138857 hasConcept C199539241 @default.
- W1864138857 hasConcept C2776359362 @default.
- W1864138857 hasConcept C2777669093 @default.
- W1864138857 hasConcept C38677869 @default.
- W1864138857 hasConcept C41008148 @default.
- W1864138857 hasConcept C65620979 @default.
- W1864138857 hasConcept C80444323 @default.
- W1864138857 hasConcept C94625758 @default.
- W1864138857 hasConceptScore W1864138857C110251889 @default.
- W1864138857 hasConceptScore W1864138857C11413529 @default.
- W1864138857 hasConceptScore W1864138857C132525143 @default.
- W1864138857 hasConceptScore W1864138857C136643341 @default.
- W1864138857 hasConceptScore W1864138857C154945302 @default.
- W1864138857 hasConceptScore W1864138857C165021410 @default.
- W1864138857 hasConceptScore W1864138857C165464430 @default.
- W1864138857 hasConceptScore W1864138857C173801870 @default.
- W1864138857 hasConceptScore W1864138857C17744445 @default.
- W1864138857 hasConceptScore W1864138857C199539241 @default.
- W1864138857 hasConceptScore W1864138857C2776359362 @default.
- W1864138857 hasConceptScore W1864138857C2777669093 @default.
- W1864138857 hasConceptScore W1864138857C38677869 @default.
- W1864138857 hasConceptScore W1864138857C41008148 @default.
- W1864138857 hasConceptScore W1864138857C65620979 @default.
- W1864138857 hasConceptScore W1864138857C80444323 @default.
- W1864138857 hasConceptScore W1864138857C94625758 @default.
- W1864138857 hasLocation W18641388571 @default.
- W1864138857 hasOpenAccess W1864138857 @default.
- W1864138857 hasPrimaryLocation W18641388571 @default.
- W1864138857 hasRelatedWork W1503128752 @default.
- W1864138857 hasRelatedWork W1512376713 @default.
- W1864138857 hasRelatedWork W1582650717 @default.
- W1864138857 hasRelatedWork W1763122816 @default.
- W1864138857 hasRelatedWork W1864138857 @default.
- W1864138857 hasRelatedWork W2047831585 @default.
- W1864138857 hasRelatedWork W2341552178 @default.
- W1864138857 hasRelatedWork W2350551277 @default.
- W1864138857 hasRelatedWork W2954542084 @default.
- W1864138857 hasRelatedWork W4253760428 @default.
- W1864138857 isParatext "false" @default.
- W1864138857 isRetracted "false" @default.
- W1864138857 magId "1864138857" @default.
- W1864138857 workType "book-chapter" @default.