Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096403742> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2096403742 endingPage "11159" @default.
- W2096403742 startingPage "11158" @default.
- W2096403742 abstract "We present a hybrid methodology that combines simulation and symbolic traversal in order to improve invariant checking. The methodology concentrates on concurrent systems, whose peculiarities are not fully exploited by other existing techniques for hybrid verification. Our approach exploits the information obtained from simulations to improve the knowledge of the state space, effectively guiding symbolic traversal." @default.
- W2096403742 created "2016-06-24" @default.
- W2096403742 creator A5060041937 @default.
- W2096403742 creator A5065500712 @default.
- W2096403742 date "2003-03-03" @default.
- W2096403742 modified "2023-09-23" @default.
- W2096403742 title "Combining Simulation and Guided Traversal for the Verification of Concurrent Systems" @default.
- W2096403742 cites W1509757908 @default.
- W2096403742 cites W1511470875 @default.
- W2096403742 cites W1595213177 @default.
- W2096403742 cites W178638537 @default.
- W2096403742 cites W1991052229 @default.
- W2096403742 cites W2134326845 @default.
- W2096403742 cites W2160823654 @default.
- W2096403742 cites W2170020397 @default.
- W2096403742 doi "https://doi.org/10.5555/789083.1022899" @default.
- W2096403742 hasPublicationYear "2003" @default.
- W2096403742 type Work @default.
- W2096403742 sameAs 2096403742 @default.
- W2096403742 citedByCount "4" @default.
- W2096403742 crossrefType "proceedings-article" @default.
- W2096403742 hasAuthorship W2096403742A5060041937 @default.
- W2096403742 hasAuthorship W2096403742A5065500712 @default.
- W2096403742 hasConcept C105795698 @default.
- W2096403742 hasConcept C110251889 @default.
- W2096403742 hasConcept C111498074 @default.
- W2096403742 hasConcept C113775141 @default.
- W2096403742 hasConcept C120314980 @default.
- W2096403742 hasConcept C140745168 @default.
- W2096403742 hasConcept C165696696 @default.
- W2096403742 hasConcept C199360897 @default.
- W2096403742 hasConcept C23123167 @default.
- W2096403742 hasConcept C33923547 @default.
- W2096403742 hasConcept C38652104 @default.
- W2096403742 hasConcept C41008148 @default.
- W2096403742 hasConcept C72434380 @default.
- W2096403742 hasConcept C75606506 @default.
- W2096403742 hasConcept C80444323 @default.
- W2096403742 hasConcept C96333769 @default.
- W2096403742 hasConceptScore W2096403742C105795698 @default.
- W2096403742 hasConceptScore W2096403742C110251889 @default.
- W2096403742 hasConceptScore W2096403742C111498074 @default.
- W2096403742 hasConceptScore W2096403742C113775141 @default.
- W2096403742 hasConceptScore W2096403742C120314980 @default.
- W2096403742 hasConceptScore W2096403742C140745168 @default.
- W2096403742 hasConceptScore W2096403742C165696696 @default.
- W2096403742 hasConceptScore W2096403742C199360897 @default.
- W2096403742 hasConceptScore W2096403742C23123167 @default.
- W2096403742 hasConceptScore W2096403742C33923547 @default.
- W2096403742 hasConceptScore W2096403742C38652104 @default.
- W2096403742 hasConceptScore W2096403742C41008148 @default.
- W2096403742 hasConceptScore W2096403742C72434380 @default.
- W2096403742 hasConceptScore W2096403742C75606506 @default.
- W2096403742 hasConceptScore W2096403742C80444323 @default.
- W2096403742 hasConceptScore W2096403742C96333769 @default.
- W2096403742 hasLocation W20964037421 @default.
- W2096403742 hasOpenAccess W2096403742 @default.
- W2096403742 hasPrimaryLocation W20964037421 @default.
- W2096403742 hasRelatedWork W126105586 @default.
- W2096403742 hasRelatedWork W1562663103 @default.
- W2096403742 hasRelatedWork W1601796095 @default.
- W2096403742 hasRelatedWork W182208575 @default.
- W2096403742 hasRelatedWork W1842754478 @default.
- W2096403742 hasRelatedWork W192267309 @default.
- W2096403742 hasRelatedWork W1971090438 @default.
- W2096403742 hasRelatedWork W2034617104 @default.
- W2096403742 hasRelatedWork W2149594490 @default.
- W2096403742 hasRelatedWork W2150971682 @default.
- W2096403742 hasRelatedWork W2477664674 @default.
- W2096403742 hasRelatedWork W2885205415 @default.
- W2096403742 hasRelatedWork W2963818525 @default.
- W2096403742 hasRelatedWork W2999366812 @default.
- W2096403742 hasRelatedWork W3098560806 @default.
- W2096403742 hasRelatedWork W3126262779 @default.
- W2096403742 hasRelatedWork W3133370143 @default.
- W2096403742 hasRelatedWork W3134805100 @default.
- W2096403742 hasRelatedWork W3158875049 @default.
- W2096403742 hasRelatedWork W3212519233 @default.
- W2096403742 isParatext "false" @default.
- W2096403742 isRetracted "false" @default.
- W2096403742 magId "2096403742" @default.
- W2096403742 workType "article" @default.