Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973954352> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1973954352 endingPage "498" @default.
- W1973954352 startingPage "480" @default.
- W1973954352 abstract "Model checking is a popular formal verification technique for both software and hardware. The verification of concurrent software predominantly employs explicit-state model checkers, such as SPIN, that use partial-order reduction as a main technique to deal with large state spaces efficiently. In the hardware domain, the introduction of symbolic model checking has been considered a breakthrough, allowing the verification of systems clearly out-of-reach of any explicit-state model checker. This paper introduces ImProviso, a new algorithm for model checking of software that efficiently combines the advantages of partial-order reduction with symbolic exploration. IMPROVISO uses implicit BDD representations for both the state space and the transition relation together with a new implicit in-stack proviso for efficient partial-order reduction. The new approach is inspired by the Twophase partial-order reduction algorithm for explicit-state model checking. Initial experimental results show that the proposed algorithm improves the existing symbolic model checking approach and can be used to tackle problems that are not tractable using explicit-state methods." @default.
- W1973954352 created "2016-06-24" @default.
- W1973954352 creator A5008370399 @default.
- W1973954352 creator A5078587812 @default.
- W1973954352 creator A5083237644 @default.
- W1973954352 date "2003-09-01" @default.
- W1973954352 modified "2023-09-23" @default.
- W1973954352 title "Symbolic Model Checking of Software" @default.
- W1973954352 cites W1489391022 @default.
- W1973954352 cites W2115309705 @default.
- W1973954352 cites W2171480813 @default.
- W1973954352 doi "https://doi.org/10.1016/s1571-0661(05)80008-8" @default.
- W1973954352 hasPublicationYear "2003" @default.
- W1973954352 type Work @default.
- W1973954352 sameAs 1973954352 @default.
- W1973954352 citedByCount "26" @default.
- W1973954352 countsByYear W19739543522013 @default.
- W1973954352 countsByYear W19739543522014 @default.
- W1973954352 countsByYear W19739543522015 @default.
- W1973954352 countsByYear W19739543522018 @default.
- W1973954352 countsByYear W19739543522022 @default.
- W1973954352 countsByYear W19739543522023 @default.
- W1973954352 crossrefType "journal-article" @default.
- W1973954352 hasAuthorship W1973954352A5008370399 @default.
- W1973954352 hasAuthorship W1973954352A5078587812 @default.
- W1973954352 hasAuthorship W1973954352A5083237644 @default.
- W1973954352 hasBestOaLocation W19739543521 @default.
- W1973954352 hasConcept C105795698 @default.
- W1973954352 hasConcept C110251889 @default.
- W1973954352 hasConcept C111335779 @default.
- W1973954352 hasConcept C111498074 @default.
- W1973954352 hasConcept C11413529 @default.
- W1973954352 hasConcept C199360897 @default.
- W1973954352 hasConcept C23123167 @default.
- W1973954352 hasConcept C2524010 @default.
- W1973954352 hasConcept C2777904410 @default.
- W1973954352 hasConcept C2779639559 @default.
- W1973954352 hasConcept C30888246 @default.
- W1973954352 hasConcept C33923547 @default.
- W1973954352 hasConcept C41008148 @default.
- W1973954352 hasConcept C48103436 @default.
- W1973954352 hasConcept C65620979 @default.
- W1973954352 hasConcept C72434380 @default.
- W1973954352 hasConcept C80444323 @default.
- W1973954352 hasConcept C94633896 @default.
- W1973954352 hasConceptScore W1973954352C105795698 @default.
- W1973954352 hasConceptScore W1973954352C110251889 @default.
- W1973954352 hasConceptScore W1973954352C111335779 @default.
- W1973954352 hasConceptScore W1973954352C111498074 @default.
- W1973954352 hasConceptScore W1973954352C11413529 @default.
- W1973954352 hasConceptScore W1973954352C199360897 @default.
- W1973954352 hasConceptScore W1973954352C23123167 @default.
- W1973954352 hasConceptScore W1973954352C2524010 @default.
- W1973954352 hasConceptScore W1973954352C2777904410 @default.
- W1973954352 hasConceptScore W1973954352C2779639559 @default.
- W1973954352 hasConceptScore W1973954352C30888246 @default.
- W1973954352 hasConceptScore W1973954352C33923547 @default.
- W1973954352 hasConceptScore W1973954352C41008148 @default.
- W1973954352 hasConceptScore W1973954352C48103436 @default.
- W1973954352 hasConceptScore W1973954352C65620979 @default.
- W1973954352 hasConceptScore W1973954352C72434380 @default.
- W1973954352 hasConceptScore W1973954352C80444323 @default.
- W1973954352 hasConceptScore W1973954352C94633896 @default.
- W1973954352 hasIssue "3" @default.
- W1973954352 hasLocation W19739543521 @default.
- W1973954352 hasLocation W19739543522 @default.
- W1973954352 hasOpenAccess W1973954352 @default.
- W1973954352 hasPrimaryLocation W19739543521 @default.
- W1973954352 hasRelatedWork W1545972740 @default.
- W1973954352 hasRelatedWork W1547793878 @default.
- W1973954352 hasRelatedWork W1552191998 @default.
- W1973954352 hasRelatedWork W1572578464 @default.
- W1973954352 hasRelatedWork W1959575449 @default.
- W1973954352 hasRelatedWork W1973954352 @default.
- W1973954352 hasRelatedWork W206281402 @default.
- W1973954352 hasRelatedWork W2149299285 @default.
- W1973954352 hasRelatedWork W2355853083 @default.
- W1973954352 hasRelatedWork W4312733571 @default.
- W1973954352 hasVolume "89" @default.
- W1973954352 isParatext "false" @default.
- W1973954352 isRetracted "false" @default.
- W1973954352 magId "1973954352" @default.
- W1973954352 workType "article" @default.