Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112884098> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2112884098 abstract "We present a verification approach of dynamic properties under fairness assumptions by PLTL model checking over finite state reactive systems. The systems that we want to verify are specified through a top-down refinement process. They interact with an environment, which is described partly by fairness assumptions. We give a definition of the refinement under fairness assumptions and show how the verification of the refinement can be used as a preprocessor for the verification of the properties under fairness assumptions at the refined level. Indeed, the refinement verification distinguishes the fair executions. So, the verification of a PLTL property P can be model-checked only on the fair executions that are noticed during the refinement verification. We present how to adapt the standard PLTL model checking algorithm to the model which results from the refinement verification" @default.
- W2112884098 created "2016-06-24" @default.
- W2112884098 creator A5030673446 @default.
- W2112884098 creator A5078713499 @default.
- W2112884098 creator A5088104020 @default.
- W2112884098 date "2005-07-27" @default.
- W2112884098 modified "2023-09-25" @default.
- W2112884098 title "Refinemant verification of fair transition systems can contribute to PLTL model checking" @default.
- W2112884098 cites W120333500 @default.
- W2112884098 cites W143291542 @default.
- W2112884098 cites W1493466221 @default.
- W2112884098 cites W1516806823 @default.
- W2112884098 cites W1528291435 @default.
- W2112884098 cites W1541059630 @default.
- W2112884098 cites W1548402307 @default.
- W2112884098 cites W1575221187 @default.
- W2112884098 cites W1607782211 @default.
- W2112884098 cites W1654252768 @default.
- W2112884098 cites W1965244712 @default.
- W2112884098 cites W2003227046 @default.
- W2112884098 cites W2009965218 @default.
- W2112884098 cites W2015688007 @default.
- W2112884098 cites W2020306722 @default.
- W2112884098 cites W2024985777 @default.
- W2112884098 cites W2025726943 @default.
- W2112884098 cites W2080593426 @default.
- W2112884098 cites W2118382442 @default.
- W2112884098 cites W2915052813 @default.
- W2112884098 doi "https://doi.org/10.1109/memcod.2005.1487911" @default.
- W2112884098 hasPublicationYear "2005" @default.
- W2112884098 type Work @default.
- W2112884098 sameAs 2112884098 @default.
- W2112884098 citedByCount "0" @default.
- W2112884098 crossrefType "proceedings-article" @default.
- W2112884098 hasAuthorship W2112884098A5030673446 @default.
- W2112884098 hasAuthorship W2112884098A5078713499 @default.
- W2112884098 hasAuthorship W2112884098A5088104020 @default.
- W2112884098 hasConcept C110251889 @default.
- W2112884098 hasConcept C111498074 @default.
- W2112884098 hasConcept C11413529 @default.
- W2112884098 hasConcept C142284323 @default.
- W2112884098 hasConcept C149091818 @default.
- W2112884098 hasConcept C186846655 @default.
- W2112884098 hasConcept C199360897 @default.
- W2112884098 hasConcept C202973057 @default.
- W2112884098 hasConcept C2777904410 @default.
- W2112884098 hasConcept C34736171 @default.
- W2112884098 hasConcept C41008148 @default.
- W2112884098 hasConcept C62460635 @default.
- W2112884098 hasConcept C80444323 @default.
- W2112884098 hasConcept C98045186 @default.
- W2112884098 hasConceptScore W2112884098C110251889 @default.
- W2112884098 hasConceptScore W2112884098C111498074 @default.
- W2112884098 hasConceptScore W2112884098C11413529 @default.
- W2112884098 hasConceptScore W2112884098C142284323 @default.
- W2112884098 hasConceptScore W2112884098C149091818 @default.
- W2112884098 hasConceptScore W2112884098C186846655 @default.
- W2112884098 hasConceptScore W2112884098C199360897 @default.
- W2112884098 hasConceptScore W2112884098C202973057 @default.
- W2112884098 hasConceptScore W2112884098C2777904410 @default.
- W2112884098 hasConceptScore W2112884098C34736171 @default.
- W2112884098 hasConceptScore W2112884098C41008148 @default.
- W2112884098 hasConceptScore W2112884098C62460635 @default.
- W2112884098 hasConceptScore W2112884098C80444323 @default.
- W2112884098 hasConceptScore W2112884098C98045186 @default.
- W2112884098 hasLocation W21128840981 @default.
- W2112884098 hasOpenAccess W2112884098 @default.
- W2112884098 hasPrimaryLocation W21128840981 @default.
- W2112884098 hasRelatedWork W148863789 @default.
- W2112884098 hasRelatedWork W1497869663 @default.
- W2112884098 hasRelatedWork W1512286261 @default.
- W2112884098 hasRelatedWork W15780310 @default.
- W2112884098 hasRelatedWork W1647411879 @default.
- W2112884098 hasRelatedWork W2013515339 @default.
- W2112884098 hasRelatedWork W2143665015 @default.
- W2112884098 hasRelatedWork W2179822061 @default.
- W2112884098 hasRelatedWork W2227507359 @default.
- W2112884098 hasRelatedWork W2462365572 @default.
- W2112884098 hasRelatedWork W2598547732 @default.
- W2112884098 hasRelatedWork W2766124107 @default.
- W2112884098 hasRelatedWork W2780733723 @default.
- W2112884098 hasRelatedWork W2803165154 @default.
- W2112884098 hasRelatedWork W2950084655 @default.
- W2112884098 hasRelatedWork W2950632937 @default.
- W2112884098 hasRelatedWork W3036026499 @default.
- W2112884098 hasRelatedWork W3110414195 @default.
- W2112884098 hasRelatedWork W773258019 @default.
- W2112884098 hasRelatedWork W97115092 @default.
- W2112884098 isParatext "false" @default.
- W2112884098 isRetracted "false" @default.
- W2112884098 magId "2112884098" @default.
- W2112884098 workType "article" @default.