Matches in SemOpenAlex for { <https://semopenalex.org/work/W746614844> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W746614844 abstract "This paper solves Push-Push game with the model checker NuSMY which exhaustively explores all search space to determine whether a model satisfies a property. In case a model doesn`t satisfy properties to be checked, NuSMV generates a counterexample which tells where this unsatisfaction occurs. However, the algorithm for generating counterexample in NuSMV traverses a search space twice so that it is inefficient for solving the game we consider here. To save the time to be required to complete the game, we revise the part of counterexample generation so that it traverses a search space once. As a result, we obtain 62% time improvement and 11% space improvement in solving the game with modified NuSMV." @default.
- W746614844 created "2016-06-24" @default.
- W746614844 date "2003-08-01" @default.
- W746614844 modified "2023-09-26" @default.
- W746614844 title "Efficient Counterexample Generation for Game Solving in NuSMV" @default.
- W746614844 cites W1896160926 @default.
- W746614844 cites W2158395308 @default.
- W746614844 doi "https://doi.org/10.3745/kipstd.2003.10d.5.813" @default.
- W746614844 hasPublicationYear "2003" @default.
- W746614844 type Work @default.
- W746614844 sameAs 746614844 @default.
- W746614844 citedByCount "0" @default.
- W746614844 crossrefType "journal-article" @default.
- W746614844 hasBestOaLocation W7466148441 @default.
- W746614844 hasConcept C110251889 @default.
- W746614844 hasConcept C111919701 @default.
- W746614844 hasConcept C11413529 @default.
- W746614844 hasConcept C118615104 @default.
- W746614844 hasConcept C162838799 @default.
- W746614844 hasConcept C2778572836 @default.
- W746614844 hasConcept C33923547 @default.
- W746614844 hasConcept C41008148 @default.
- W746614844 hasConceptScore W746614844C110251889 @default.
- W746614844 hasConceptScore W746614844C111919701 @default.
- W746614844 hasConceptScore W746614844C11413529 @default.
- W746614844 hasConceptScore W746614844C118615104 @default.
- W746614844 hasConceptScore W746614844C162838799 @default.
- W746614844 hasConceptScore W746614844C2778572836 @default.
- W746614844 hasConceptScore W746614844C33923547 @default.
- W746614844 hasConceptScore W746614844C41008148 @default.
- W746614844 hasLocation W7466148441 @default.
- W746614844 hasOpenAccess W746614844 @default.
- W746614844 hasPrimaryLocation W7466148441 @default.
- W746614844 hasRelatedWork W1489260687 @default.
- W746614844 hasRelatedWork W1509884004 @default.
- W746614844 hasRelatedWork W1547366466 @default.
- W746614844 hasRelatedWork W1612268863 @default.
- W746614844 hasRelatedWork W1988934358 @default.
- W746614844 hasRelatedWork W2163101548 @default.
- W746614844 hasRelatedWork W2349952486 @default.
- W746614844 hasRelatedWork W2406400984 @default.
- W746614844 hasRelatedWork W3014450817 @default.
- W746614844 hasRelatedWork W3204670144 @default.
- W746614844 isParatext "false" @default.
- W746614844 isRetracted "false" @default.
- W746614844 magId "746614844" @default.
- W746614844 workType "article" @default.