Matches in SemOpenAlex for { <https://semopenalex.org/work/W1783679080> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1783679080 endingPage "203" @default.
- W1783679080 startingPage "188" @default.
- W1783679080 abstract "We present a method that allows to verify parameterized networks of finite state processes. Our method is based on three main ideas. The first one consists in modeling an infinite family of networks by a single WS1S transition system, that is, a transition system whose variables are set (2nd-order) variables and whose transitions are described in WS1S. Then, we present methods that allow to abstract a WS1S system into a finite state system that can be model-checked. Finally, in order to verify liveness properties, we present an algorithm that allows to enrich the abstract system with strong fairness conditions while preserving safety of the abstraction. We implemented our method in a tool, called pax, and applied it to several examples." @default.
- W1783679080 created "2016-06-24" @default.
- W1783679080 creator A5003036674 @default.
- W1783679080 creator A5005219814 @default.
- W1783679080 creator A5069785845 @default.
- W1783679080 creator A5080464781 @default.
- W1783679080 date "2000-01-01" @default.
- W1783679080 modified "2023-09-27" @default.
- W1783679080 title "Abstracting WS1S Systems to Verify Parameterized Networks" @default.
- W1783679080 cites W120333500 @default.
- W1783679080 cites W1560050980 @default.
- W1783679080 cites W1561867409 @default.
- W1783679080 cites W1573633114 @default.
- W1783679080 cites W1973964525 @default.
- W1783679080 cites W1982900911 @default.
- W1783679080 cites W1987073197 @default.
- W1783679080 cites W2000210358 @default.
- W1783679080 cites W2036526834 @default.
- W1783679080 cites W2051054731 @default.
- W1783679080 cites W2080593426 @default.
- W1783679080 cites W2141957585 @default.
- W1783679080 cites W2147269402 @default.
- W1783679080 cites W2506072766 @default.
- W1783679080 cites W4205178514 @default.
- W1783679080 cites W4243535863 @default.
- W1783679080 doi "https://doi.org/10.1007/3-540-46419-0_14" @default.
- W1783679080 hasPublicationYear "2000" @default.
- W1783679080 type Work @default.
- W1783679080 sameAs 1783679080 @default.
- W1783679080 citedByCount "46" @default.
- W1783679080 countsByYear W17836790802015 @default.
- W1783679080 countsByYear W17836790802016 @default.
- W1783679080 countsByYear W17836790802018 @default.
- W1783679080 countsByYear W17836790802019 @default.
- W1783679080 countsByYear W17836790802020 @default.
- W1783679080 countsByYear W17836790802021 @default.
- W1783679080 countsByYear W17836790802022 @default.
- W1783679080 crossrefType "book-chapter" @default.
- W1783679080 hasAuthorship W1783679080A5003036674 @default.
- W1783679080 hasAuthorship W1783679080A5005219814 @default.
- W1783679080 hasAuthorship W1783679080A5069785845 @default.
- W1783679080 hasAuthorship W1783679080A5080464781 @default.
- W1783679080 hasBestOaLocation W17836790801 @default.
- W1783679080 hasConcept C111472728 @default.
- W1783679080 hasConcept C11413529 @default.
- W1783679080 hasConcept C120314980 @default.
- W1783679080 hasConcept C124304363 @default.
- W1783679080 hasConcept C138885662 @default.
- W1783679080 hasConcept C15569618 @default.
- W1783679080 hasConcept C165464430 @default.
- W1783679080 hasConcept C177264268 @default.
- W1783679080 hasConcept C199360897 @default.
- W1783679080 hasConcept C2779167558 @default.
- W1783679080 hasConcept C41008148 @default.
- W1783679080 hasConcept C48103436 @default.
- W1783679080 hasConcept C80444323 @default.
- W1783679080 hasConceptScore W1783679080C111472728 @default.
- W1783679080 hasConceptScore W1783679080C11413529 @default.
- W1783679080 hasConceptScore W1783679080C120314980 @default.
- W1783679080 hasConceptScore W1783679080C124304363 @default.
- W1783679080 hasConceptScore W1783679080C138885662 @default.
- W1783679080 hasConceptScore W1783679080C15569618 @default.
- W1783679080 hasConceptScore W1783679080C165464430 @default.
- W1783679080 hasConceptScore W1783679080C177264268 @default.
- W1783679080 hasConceptScore W1783679080C199360897 @default.
- W1783679080 hasConceptScore W1783679080C2779167558 @default.
- W1783679080 hasConceptScore W1783679080C41008148 @default.
- W1783679080 hasConceptScore W1783679080C48103436 @default.
- W1783679080 hasConceptScore W1783679080C80444323 @default.
- W1783679080 hasLocation W17836790801 @default.
- W1783679080 hasOpenAccess W1783679080 @default.
- W1783679080 hasPrimaryLocation W17836790801 @default.
- W1783679080 hasRelatedWork W1552024587 @default.
- W1783679080 hasRelatedWork W1555742330 @default.
- W1783679080 hasRelatedWork W1588498588 @default.
- W1783679080 hasRelatedWork W1783679080 @default.
- W1783679080 hasRelatedWork W2102236203 @default.
- W1783679080 hasRelatedWork W2133055577 @default.
- W1783679080 hasRelatedWork W2395041977 @default.
- W1783679080 hasRelatedWork W2511829057 @default.
- W1783679080 hasRelatedWork W2583695805 @default.
- W1783679080 hasRelatedWork W2611620361 @default.
- W1783679080 isParatext "false" @default.
- W1783679080 isRetracted "false" @default.
- W1783679080 magId "1783679080" @default.
- W1783679080 workType "book-chapter" @default.