Matches in SemOpenAlex for { <https://semopenalex.org/work/W74804675> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W74804675 abstract "The sweep-line method allows explicit state model checkers to delete states from memory on-the-fly during state space exploration thereby lowering the memory demands of the verification procedure. The sweep-line method is based on a least progress-first search order that prohibits the immediate use of standard on-the-fly LTL model checking algorithms that rely on a depth-first search order. This paper proposes and experimentally evaluates an algorithm for LTL model checking compatible with the search order prescribed by the sweep-line method." @default.
- W74804675 created "2016-06-24" @default.
- W74804675 creator A5005213951 @default.
- W74804675 creator A5023649581 @default.
- W74804675 date "2012-01-01" @default.
- W74804675 modified "2023-09-27" @default.
- W74804675 title "Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method" @default.
- W74804675 cites W125115239 @default.
- W74804675 cites W1479997758 @default.
- W74804675 cites W1508152977 @default.
- W74804675 cites W1509607930 @default.
- W74804675 cites W1522197832 @default.
- W74804675 cites W1524019617 @default.
- W74804675 cites W1552086528 @default.
- W74804675 cites W1593050376 @default.
- W74804675 cites W1600967790 @default.
- W74804675 cites W1607217664 @default.
- W74804675 cites W1820238131 @default.
- W74804675 cites W1829451333 @default.
- W74804675 cites W1853664072 @default.
- W74804675 cites W1925833847 @default.
- W74804675 cites W1974691001 @default.
- W74804675 cites W1977553951 @default.
- W74804675 cites W2057437261 @default.
- W74804675 cites W2146706022 @default.
- W74804675 cites W2554105671 @default.
- W74804675 cites W4246679293 @default.
- W74804675 cites W74804675 @default.
- W74804675 doi "https://doi.org/10.1007/978-3-642-31131-4_14" @default.
- W74804675 hasPublicationYear "2012" @default.
- W74804675 type Work @default.
- W74804675 sameAs 74804675 @default.
- W74804675 citedByCount "6" @default.
- W74804675 countsByYear W748046752012 @default.
- W74804675 countsByYear W748046752014 @default.
- W74804675 countsByYear W748046752016 @default.
- W74804675 countsByYear W748046752021 @default.
- W74804675 crossrefType "book-chapter" @default.
- W74804675 hasAuthorship W74804675A5005213951 @default.
- W74804675 hasAuthorship W74804675A5023649581 @default.
- W74804675 hasConcept C110251889 @default.
- W74804675 hasConcept C111919701 @default.
- W74804675 hasConcept C11413529 @default.
- W74804675 hasConcept C198352243 @default.
- W74804675 hasConcept C25016198 @default.
- W74804675 hasConcept C2524010 @default.
- W74804675 hasConcept C2781020372 @default.
- W74804675 hasConcept C33923547 @default.
- W74804675 hasConcept C41008148 @default.
- W74804675 hasConcept C4777664 @default.
- W74804675 hasConcept C48103436 @default.
- W74804675 hasConcept C80444323 @default.
- W74804675 hasConceptScore W74804675C110251889 @default.
- W74804675 hasConceptScore W74804675C111919701 @default.
- W74804675 hasConceptScore W74804675C11413529 @default.
- W74804675 hasConceptScore W74804675C198352243 @default.
- W74804675 hasConceptScore W74804675C25016198 @default.
- W74804675 hasConceptScore W74804675C2524010 @default.
- W74804675 hasConceptScore W74804675C2781020372 @default.
- W74804675 hasConceptScore W74804675C33923547 @default.
- W74804675 hasConceptScore W74804675C41008148 @default.
- W74804675 hasConceptScore W74804675C4777664 @default.
- W74804675 hasConceptScore W74804675C48103436 @default.
- W74804675 hasConceptScore W74804675C80444323 @default.
- W74804675 hasLocation W748046751 @default.
- W74804675 hasOpenAccess W74804675 @default.
- W74804675 hasPrimaryLocation W748046751 @default.
- W74804675 hasRelatedWork W1021521453 @default.
- W74804675 hasRelatedWork W1552086528 @default.
- W74804675 hasRelatedWork W1553574558 @default.
- W74804675 hasRelatedWork W1594166318 @default.
- W74804675 hasRelatedWork W1848035726 @default.
- W74804675 hasRelatedWork W1976090801 @default.
- W74804675 hasRelatedWork W202738115 @default.
- W74804675 hasRelatedWork W2050298729 @default.
- W74804675 hasRelatedWork W205139584 @default.
- W74804675 hasRelatedWork W2115116604 @default.
- W74804675 hasRelatedWork W2120916408 @default.
- W74804675 hasRelatedWork W2257706352 @default.
- W74804675 hasRelatedWork W2364838467 @default.
- W74804675 hasRelatedWork W2368353306 @default.
- W74804675 hasRelatedWork W2389018166 @default.
- W74804675 hasRelatedWork W2528876656 @default.
- W74804675 hasRelatedWork W2807925054 @default.
- W74804675 hasRelatedWork W43104912 @default.
- W74804675 hasRelatedWork W601397911 @default.
- W74804675 hasRelatedWork W2837632190 @default.
- W74804675 isParatext "false" @default.
- W74804675 isRetracted "false" @default.
- W74804675 magId "74804675" @default.
- W74804675 workType "book-chapter" @default.