Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499277573> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1499277573 endingPage "342" @default.
- W1499277573 startingPage "338" @default.
- W1499277573 abstract "State space minimization techniques are crucial for combating state explosion. A variety of verification tools use bisimulation minimization to check equivalence between systems, to minimize components before composition, or to reduce a state space prior to model checking. This paper explores the third use in the context of verifying invariant properties. We consider three bisimulation minimization algorithms. From each, we produce an on-the-fly model checker for invariant properties and compare this model checker to a conventional one based on backwards reachability. Our comparisons, both theoretical and experimental, lead us to conclude that bisimulation minimization does not appear to be viable in the context of invariance verification because performing the minimization requires as many, if not more, computational resources as model checking the unminimized system through backwards reachability." @default.
- W1499277573 created "2016-06-24" @default.
- W1499277573 creator A5000059818 @default.
- W1499277573 creator A5047286412 @default.
- W1499277573 date "1999-01-01" @default.
- W1499277573 modified "2023-09-30" @default.
- W1499277573 title "Bisimulation and Model Checking" @default.
- W1499277573 cites W1499277573 @default.
- W1499277573 cites W1517157359 @default.
- W1499277573 cites W1574045977 @default.
- W1499277573 cites W1822320350 @default.
- W1499277573 cites W1978469611 @default.
- W1499277573 cites W2068361557 @default.
- W1499277573 cites W2071152819 @default.
- W1499277573 cites W2137865376 @default.
- W1499277573 doi "https://doi.org/10.1007/3-540-48153-2_29" @default.
- W1499277573 hasPublicationYear "1999" @default.
- W1499277573 type Work @default.
- W1499277573 sameAs 1499277573 @default.
- W1499277573 citedByCount "46" @default.
- W1499277573 countsByYear W14992775732012 @default.
- W1499277573 countsByYear W14992775732013 @default.
- W1499277573 countsByYear W14992775732014 @default.
- W1499277573 countsByYear W14992775732015 @default.
- W1499277573 countsByYear W14992775732018 @default.
- W1499277573 countsByYear W14992775732019 @default.
- W1499277573 countsByYear W14992775732022 @default.
- W1499277573 crossrefType "book-chapter" @default.
- W1499277573 hasAuthorship W1499277573A5000059818 @default.
- W1499277573 hasAuthorship W1499277573A5047286412 @default.
- W1499277573 hasBestOaLocation W14992775731 @default.
- W1499277573 hasConcept C110251889 @default.
- W1499277573 hasConcept C135315306 @default.
- W1499277573 hasConcept C199360897 @default.
- W1499277573 hasConcept C41008148 @default.
- W1499277573 hasConcept C80444323 @default.
- W1499277573 hasConceptScore W1499277573C110251889 @default.
- W1499277573 hasConceptScore W1499277573C135315306 @default.
- W1499277573 hasConceptScore W1499277573C199360897 @default.
- W1499277573 hasConceptScore W1499277573C41008148 @default.
- W1499277573 hasConceptScore W1499277573C80444323 @default.
- W1499277573 hasLocation W14992775731 @default.
- W1499277573 hasOpenAccess W1499277573 @default.
- W1499277573 hasPrimaryLocation W14992775731 @default.
- W1499277573 hasRelatedWork W1569472116 @default.
- W1499277573 hasRelatedWork W1583364777 @default.
- W1499277573 hasRelatedWork W1948103674 @default.
- W1499277573 hasRelatedWork W2138161962 @default.
- W1499277573 hasRelatedWork W2151898527 @default.
- W1499277573 hasRelatedWork W2660972524 @default.
- W1499277573 hasRelatedWork W47563837 @default.
- W1499277573 hasRelatedWork W98028116 @default.
- W1499277573 hasRelatedWork W1894736207 @default.
- W1499277573 hasRelatedWork W2583261385 @default.
- W1499277573 isParatext "false" @default.
- W1499277573 isRetracted "false" @default.
- W1499277573 magId "1499277573" @default.
- W1499277573 workType "book-chapter" @default.