Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566704763> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1566704763 endingPage "173" @default.
- W1566704763 startingPage "158" @default.
- W1566704763 abstract "We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification that has been successfully applied in finite-state hardware verification to infinite-state well-structured transition systems. We show that our procedure is sound, complete, and terminating for downward-finite well-structured transition systems —where each state has a finite number of states below it— a class that contains extensions of Petri nets, broadcast protocols, and lossy channel systems.We have implemented our algorithm for checking coverability of Petri nets. We describe how the algorithm can be efficiently implemented without the use of SMT solvers. Our experiments on standard Petri net benchmarks show that IC3 is competitive with state-of-the-art implementations for coverability based on symbolic backward analysis or expand-enlarge-and-check algorithms both in time and space usage." @default.
- W1566704763 created "2016-06-24" @default.
- W1566704763 creator A5024973772 @default.
- W1566704763 creator A5045794652 @default.
- W1566704763 creator A5072101985 @default.
- W1566704763 creator A5081010207 @default.
- W1566704763 date "2013-01-01" @default.
- W1566704763 modified "2023-10-10" @default.
- W1566704763 title "Incremental, Inductive Coverability" @default.
- W1566704763 cites W119948155 @default.
- W1566704763 cites W1513999490 @default.
- W1566704763 cites W1540737511 @default.
- W1566704763 cites W1566132409 @default.
- W1566704763 cites W1566704763 @default.
- W1566704763 cites W1586140256 @default.
- W1566704763 cites W1947886897 @default.
- W1566704763 cites W1967174286 @default.
- W1566704763 cites W2076508310 @default.
- W1566704763 cites W2087997226 @default.
- W1566704763 cites W2316437449 @default.
- W1566704763 cites W3138459719 @default.
- W1566704763 cites W81626549 @default.
- W1566704763 doi "https://doi.org/10.1007/978-3-642-39799-8_10" @default.
- W1566704763 hasPublicationYear "2013" @default.
- W1566704763 type Work @default.
- W1566704763 sameAs 1566704763 @default.
- W1566704763 citedByCount "31" @default.
- W1566704763 countsByYear W15667047632013 @default.
- W1566704763 countsByYear W15667047632014 @default.
- W1566704763 countsByYear W15667047632015 @default.
- W1566704763 countsByYear W15667047632016 @default.
- W1566704763 countsByYear W15667047632017 @default.
- W1566704763 countsByYear W15667047632018 @default.
- W1566704763 countsByYear W15667047632019 @default.
- W1566704763 countsByYear W15667047632020 @default.
- W1566704763 countsByYear W15667047632021 @default.
- W1566704763 countsByYear W15667047632022 @default.
- W1566704763 countsByYear W15667047632023 @default.
- W1566704763 crossrefType "book-chapter" @default.
- W1566704763 hasAuthorship W1566704763A5024973772 @default.
- W1566704763 hasAuthorship W1566704763A5045794652 @default.
- W1566704763 hasAuthorship W1566704763A5072101985 @default.
- W1566704763 hasAuthorship W1566704763A5081010207 @default.
- W1566704763 hasBestOaLocation W15667047631 @default.
- W1566704763 hasConcept C105795698 @default.
- W1566704763 hasConcept C110251889 @default.
- W1566704763 hasConcept C11413529 @default.
- W1566704763 hasConcept C154945302 @default.
- W1566704763 hasConcept C165021410 @default.
- W1566704763 hasConcept C167822520 @default.
- W1566704763 hasConcept C199360897 @default.
- W1566704763 hasConcept C2777212361 @default.
- W1566704763 hasConcept C2779167558 @default.
- W1566704763 hasConcept C33923547 @default.
- W1566704763 hasConcept C38677869 @default.
- W1566704763 hasConcept C41008148 @default.
- W1566704763 hasConcept C48103436 @default.
- W1566704763 hasConcept C72434380 @default.
- W1566704763 hasConcept C80444323 @default.
- W1566704763 hasConceptScore W1566704763C105795698 @default.
- W1566704763 hasConceptScore W1566704763C110251889 @default.
- W1566704763 hasConceptScore W1566704763C11413529 @default.
- W1566704763 hasConceptScore W1566704763C154945302 @default.
- W1566704763 hasConceptScore W1566704763C165021410 @default.
- W1566704763 hasConceptScore W1566704763C167822520 @default.
- W1566704763 hasConceptScore W1566704763C199360897 @default.
- W1566704763 hasConceptScore W1566704763C2777212361 @default.
- W1566704763 hasConceptScore W1566704763C2779167558 @default.
- W1566704763 hasConceptScore W1566704763C33923547 @default.
- W1566704763 hasConceptScore W1566704763C38677869 @default.
- W1566704763 hasConceptScore W1566704763C41008148 @default.
- W1566704763 hasConceptScore W1566704763C48103436 @default.
- W1566704763 hasConceptScore W1566704763C72434380 @default.
- W1566704763 hasConceptScore W1566704763C80444323 @default.
- W1566704763 hasLocation W15667047631 @default.
- W1566704763 hasLocation W15667047632 @default.
- W1566704763 hasOpenAccess W1566704763 @default.
- W1566704763 hasPrimaryLocation W15667047631 @default.
- W1566704763 hasRelatedWork W1489487975 @default.
- W1566704763 hasRelatedWork W1551903405 @default.
- W1566704763 hasRelatedWork W1978994556 @default.
- W1566704763 hasRelatedWork W2087243310 @default.
- W1566704763 hasRelatedWork W2124523436 @default.
- W1566704763 hasRelatedWork W2145530520 @default.
- W1566704763 hasRelatedWork W2967704739 @default.
- W1566704763 hasRelatedWork W4243771589 @default.
- W1566704763 hasRelatedWork W4313496615 @default.
- W1566704763 hasRelatedWork W2499946963 @default.
- W1566704763 isParatext "false" @default.
- W1566704763 isRetracted "false" @default.
- W1566704763 magId "1566704763" @default.
- W1566704763 workType "book-chapter" @default.