Matches in SemOpenAlex for { <https://semopenalex.org/work/W2588971572> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2588971572 abstract "Specifications for non-terminating reactive systems are described by ω-regular properties. Such properties can be translated in various types of automata, e.g. Buchi, Rabin, and Parity. A model checker can then check for language containment and determine whether the system meets the specification. Checking these automata becomes more complex when introducing probabilities and/or an adversary, e.g. the uncontrollable environment, to the automaton.Parallel algorithms have become crucial for fully utilizing current hardware systems. With respect to model checking we therefore focus on designing scalable parallel algorithms for emptiness checking.This research focuses on designing and improving parallel graph searching algorithms for emptiness checking on various types of ω-automata. As a basis, we developed a scalable multi-core on-the-fly algorithm for the detection of strongly connected components (SCCs). Our aim is to contribute to the state-of-the-art techniques in parallel model checking, based on both theoretical complexity analysis and empirical studies on suitable benchmarks." @default.
- W2588971572 created "2017-02-24" @default.
- W2588971572 creator A5049539242 @default.
- W2588971572 date "2016-11-08" @default.
- W2588971572 modified "2023-09-28" @default.
- W2588971572 title "Parallel model checking of ω-automata" @default.
- W2588971572 hasPublicationYear "2016" @default.
- W2588971572 type Work @default.
- W2588971572 sameAs 2588971572 @default.
- W2588971572 citedByCount "0" @default.
- W2588971572 crossrefType "proceedings-article" @default.
- W2588971572 hasAuthorship W2588971572A5049539242 @default.
- W2588971572 hasConcept C110251889 @default.
- W2588971572 hasConcept C112505250 @default.
- W2588971572 hasConcept C11413529 @default.
- W2588971572 hasConcept C30888246 @default.
- W2588971572 hasConcept C41008148 @default.
- W2588971572 hasConcept C48044578 @default.
- W2588971572 hasConcept C77088390 @default.
- W2588971572 hasConcept C80444323 @default.
- W2588971572 hasConceptScore W2588971572C110251889 @default.
- W2588971572 hasConceptScore W2588971572C112505250 @default.
- W2588971572 hasConceptScore W2588971572C11413529 @default.
- W2588971572 hasConceptScore W2588971572C30888246 @default.
- W2588971572 hasConceptScore W2588971572C41008148 @default.
- W2588971572 hasConceptScore W2588971572C48044578 @default.
- W2588971572 hasConceptScore W2588971572C77088390 @default.
- W2588971572 hasConceptScore W2588971572C80444323 @default.
- W2588971572 hasLocation W25889715721 @default.
- W2588971572 hasOpenAccess W2588971572 @default.
- W2588971572 hasPrimaryLocation W25889715721 @default.
- W2588971572 hasRelatedWork W105566936 @default.
- W2588971572 hasRelatedWork W1507131114 @default.
- W2588971572 hasRelatedWork W1941102682 @default.
- W2588971572 hasRelatedWork W1964089329 @default.
- W2588971572 hasRelatedWork W2053905700 @default.
- W2588971572 hasRelatedWork W2091041215 @default.
- W2588971572 hasRelatedWork W2129659049 @default.
- W2588971572 hasRelatedWork W2137277749 @default.
- W2588971572 hasRelatedWork W2185453396 @default.
- W2588971572 hasRelatedWork W2185715623 @default.
- W2588971572 hasRelatedWork W2213886569 @default.
- W2588971572 hasRelatedWork W2260592993 @default.
- W2588971572 hasRelatedWork W2286265505 @default.
- W2588971572 hasRelatedWork W2465693994 @default.
- W2588971572 hasRelatedWork W2502580831 @default.
- W2588971572 hasRelatedWork W2529542719 @default.
- W2588971572 hasRelatedWork W2878418472 @default.
- W2588971572 hasRelatedWork W2898671538 @default.
- W2588971572 hasRelatedWork W3034123776 @default.
- W2588971572 hasRelatedWork W46459026 @default.
- W2588971572 isParatext "false" @default.
- W2588971572 isRetracted "false" @default.
- W2588971572 magId "2588971572" @default.
- W2588971572 workType "article" @default.