Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004752244> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2004752244 abstract "BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this work, we report an extensible framework to facilitate symbolic encoding and checking of hierarchical systems. Firstly, a novel library of symbolic encoding functions for compositional operators (e.g., parallel composition, sequential composition, choice operator, etc.) are developed so that users can apply symbolic model checking techniques to hierarchical systems with little knowledge of symbolic encoding techniques (like BDD or CUDD). Secondly, as the library is language-independent, we build an extensible framework with various symbolic model checking algorithms so that the library can be easily applied to encode and verify different modeling languages. Lastly, the applicability and scalability of our framework are demonstrated by applying the framework in the development of symbolic model checkers for three modeling languages as well as a comparison with the NuSMV model checker." @default.
- W2004752244 created "2016-06-24" @default.
- W2004752244 creator A5023363049 @default.
- W2004752244 creator A5061422997 @default.
- W2004752244 creator A5068911982 @default.
- W2004752244 creator A5085067496 @default.
- W2004752244 date "2011-11-01" @default.
- W2004752244 modified "2023-09-26" @default.
- W2004752244 title "A model checking framework for hierarchical systems" @default.
- W2004752244 cites W1534744419 @default.
- W2004752244 cites W2061438988 @default.
- W2004752244 cites W2079071129 @default.
- W2004752244 cites W2114114829 @default.
- W2004752244 cites W2151056896 @default.
- W2004752244 doi "https://doi.org/10.1109/ase.2011.6100143" @default.
- W2004752244 hasPublicationYear "2011" @default.
- W2004752244 type Work @default.
- W2004752244 sameAs 2004752244 @default.
- W2004752244 citedByCount "5" @default.
- W2004752244 countsByYear W20047522442013 @default.
- W2004752244 countsByYear W20047522442014 @default.
- W2004752244 countsByYear W20047522442023 @default.
- W2004752244 crossrefType "proceedings-article" @default.
- W2004752244 hasAuthorship W2004752244A5023363049 @default.
- W2004752244 hasAuthorship W2004752244A5061422997 @default.
- W2004752244 hasAuthorship W2004752244A5068911982 @default.
- W2004752244 hasAuthorship W2004752244A5085067496 @default.
- W2004752244 hasBestOaLocation W20047522442 @default.
- W2004752244 hasConcept C104317684 @default.
- W2004752244 hasConcept C110251889 @default.
- W2004752244 hasConcept C125411270 @default.
- W2004752244 hasConcept C154945302 @default.
- W2004752244 hasConcept C185592680 @default.
- W2004752244 hasConcept C199360897 @default.
- W2004752244 hasConcept C23123167 @default.
- W2004752244 hasConcept C2777904410 @default.
- W2004752244 hasConcept C2779639559 @default.
- W2004752244 hasConcept C30888246 @default.
- W2004752244 hasConcept C41008148 @default.
- W2004752244 hasConcept C48044578 @default.
- W2004752244 hasConcept C55493867 @default.
- W2004752244 hasConcept C65620979 @default.
- W2004752244 hasConcept C66746571 @default.
- W2004752244 hasConcept C77088390 @default.
- W2004752244 hasConcept C80444323 @default.
- W2004752244 hasConceptScore W2004752244C104317684 @default.
- W2004752244 hasConceptScore W2004752244C110251889 @default.
- W2004752244 hasConceptScore W2004752244C125411270 @default.
- W2004752244 hasConceptScore W2004752244C154945302 @default.
- W2004752244 hasConceptScore W2004752244C185592680 @default.
- W2004752244 hasConceptScore W2004752244C199360897 @default.
- W2004752244 hasConceptScore W2004752244C23123167 @default.
- W2004752244 hasConceptScore W2004752244C2777904410 @default.
- W2004752244 hasConceptScore W2004752244C2779639559 @default.
- W2004752244 hasConceptScore W2004752244C30888246 @default.
- W2004752244 hasConceptScore W2004752244C41008148 @default.
- W2004752244 hasConceptScore W2004752244C48044578 @default.
- W2004752244 hasConceptScore W2004752244C55493867 @default.
- W2004752244 hasConceptScore W2004752244C65620979 @default.
- W2004752244 hasConceptScore W2004752244C66746571 @default.
- W2004752244 hasConceptScore W2004752244C77088390 @default.
- W2004752244 hasConceptScore W2004752244C80444323 @default.
- W2004752244 hasLocation W20047522441 @default.
- W2004752244 hasLocation W20047522442 @default.
- W2004752244 hasOpenAccess W2004752244 @default.
- W2004752244 hasPrimaryLocation W20047522441 @default.
- W2004752244 hasRelatedWork W1552900908 @default.
- W2004752244 hasRelatedWork W1742935137 @default.
- W2004752244 hasRelatedWork W2004752244 @default.
- W2004752244 hasRelatedWork W2127574686 @default.
- W2004752244 hasRelatedWork W2144517099 @default.
- W2004752244 hasRelatedWork W2170701417 @default.
- W2004752244 hasRelatedWork W2212264424 @default.
- W2004752244 hasRelatedWork W2493800215 @default.
- W2004752244 hasRelatedWork W2571762577 @default.
- W2004752244 hasRelatedWork W3203050594 @default.
- W2004752244 isParatext "false" @default.
- W2004752244 isRetracted "false" @default.
- W2004752244 magId "2004752244" @default.
- W2004752244 workType "article" @default.