Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286379310> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4286379310 abstract "We present an algorithm for the repair of parameterized systems. The repair problem is, for a given process implementation, to find a refinement such that a given safety property is satisfied by the resulting parameterized system, and deadlocks are avoided. Our algorithm uses a parameterized model checker to determine the correctness of candidate solutions and employs a constraint system to rule out candidates. We apply this algorithm on systems that can be represented as well-structured transition systems (WSTS), including disjunctive systems, pairwise rendezvous systems, and broadcast protocols. Moreover, we show that parameterized deadlock detection can be decided in EXPTIME for disjunctive systems, and that deadlock detection is in general undecidable for broadcast protocols." @default.
- W4286379310 created "2022-07-22" @default.
- W4286379310 creator A5004567503 @default.
- W4286379310 creator A5005578675 @default.
- W4286379310 creator A5080048833 @default.
- W4286379310 date "2021-11-05" @default.
- W4286379310 modified "2023-09-26" @default.
- W4286379310 title "Automatic Repair and Deadlock Detection for Parameterized Systems" @default.
- W4286379310 doi "https://doi.org/10.48550/arxiv.2111.03322" @default.
- W4286379310 hasPublicationYear "2021" @default.
- W4286379310 type Work @default.
- W4286379310 citedByCount "0" @default.
- W4286379310 crossrefType "posted-content" @default.
- W4286379310 hasAuthorship W4286379310A5004567503 @default.
- W4286379310 hasAuthorship W4286379310A5005578675 @default.
- W4286379310 hasAuthorship W4286379310A5080048833 @default.
- W4286379310 hasBestOaLocation W42863793101 @default.
- W4286379310 hasConcept C113429609 @default.
- W4286379310 hasConcept C11413529 @default.
- W4286379310 hasConcept C120314980 @default.
- W4286379310 hasConcept C127413603 @default.
- W4286379310 hasConcept C136643341 @default.
- W4286379310 hasConcept C146978453 @default.
- W4286379310 hasConcept C153269930 @default.
- W4286379310 hasConcept C154945302 @default.
- W4286379310 hasConcept C159023740 @default.
- W4286379310 hasConcept C165464430 @default.
- W4286379310 hasConcept C184898388 @default.
- W4286379310 hasConcept C192034797 @default.
- W4286379310 hasConcept C199360897 @default.
- W4286379310 hasConcept C2779968344 @default.
- W4286379310 hasConcept C29829512 @default.
- W4286379310 hasConcept C41008148 @default.
- W4286379310 hasConcept C55439883 @default.
- W4286379310 hasConcept C80444323 @default.
- W4286379310 hasConcept C98045186 @default.
- W4286379310 hasConceptScore W4286379310C113429609 @default.
- W4286379310 hasConceptScore W4286379310C11413529 @default.
- W4286379310 hasConceptScore W4286379310C120314980 @default.
- W4286379310 hasConceptScore W4286379310C127413603 @default.
- W4286379310 hasConceptScore W4286379310C136643341 @default.
- W4286379310 hasConceptScore W4286379310C146978453 @default.
- W4286379310 hasConceptScore W4286379310C153269930 @default.
- W4286379310 hasConceptScore W4286379310C154945302 @default.
- W4286379310 hasConceptScore W4286379310C159023740 @default.
- W4286379310 hasConceptScore W4286379310C165464430 @default.
- W4286379310 hasConceptScore W4286379310C184898388 @default.
- W4286379310 hasConceptScore W4286379310C192034797 @default.
- W4286379310 hasConceptScore W4286379310C199360897 @default.
- W4286379310 hasConceptScore W4286379310C2779968344 @default.
- W4286379310 hasConceptScore W4286379310C29829512 @default.
- W4286379310 hasConceptScore W4286379310C41008148 @default.
- W4286379310 hasConceptScore W4286379310C55439883 @default.
- W4286379310 hasConceptScore W4286379310C80444323 @default.
- W4286379310 hasConceptScore W4286379310C98045186 @default.
- W4286379310 hasLocation W42863793101 @default.
- W4286379310 hasOpenAccess W4286379310 @default.
- W4286379310 hasPrimaryLocation W42863793101 @default.
- W4286379310 hasRelatedWork W10211586 @default.
- W4286379310 hasRelatedWork W11326594 @default.
- W4286379310 hasRelatedWork W13579519 @default.
- W4286379310 hasRelatedWork W1362128 @default.
- W4286379310 hasRelatedWork W14360457 @default.
- W4286379310 hasRelatedWork W1446963 @default.
- W4286379310 hasRelatedWork W637774 @default.
- W4286379310 hasRelatedWork W6733819 @default.
- W4286379310 hasRelatedWork W7726063 @default.
- W4286379310 hasRelatedWork W8018568 @default.
- W4286379310 isParatext "false" @default.
- W4286379310 isRetracted "false" @default.
- W4286379310 workType "article" @default.