Matches in SemOpenAlex for { <https://semopenalex.org/work/W3021560913> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3021560913 endingPage "21" @default.
- W3021560913 startingPage "1" @default.
- W3021560913 abstract "Abstractions often introduce infinite traces which have no corresponding traces at the concrete level and can lead to the failure of the verification. Refinement does not always help to eliminate those traces. In this paper, we consider a timer abstraction that introduces a cyclic behaviour on abstract timers and we show how one can exclude cycles by imposing a strong fairness constraint on the abstract model. By employing the fact that the loop on the abstract timer is a self-loop, we render the strong fairness constraint into a weak fairness constraint and embed it into the verification algorithm. We implemented the algorithm in the DTSpin model checker and showed its efficiency on case studies. The same approach can be used for other data abstractions that introduce self-loops." @default.
- W3021560913 created "2020-05-13" @default.
- W3021560913 creator A5053568949 @default.
- W3021560913 creator A5077791579 @default.
- W3021560913 creator A5086365218 @default.
- W3021560913 date "2003-01-01" @default.
- W3021560913 modified "2023-09-23" @default.
- W3021560913 title "Using fairness to make abstractions work" @default.
- W3021560913 hasPublicationYear "2003" @default.
- W3021560913 type Work @default.
- W3021560913 sameAs 3021560913 @default.
- W3021560913 citedByCount "0" @default.
- W3021560913 crossrefType "journal-article" @default.
- W3021560913 hasAuthorship W3021560913A5053568949 @default.
- W3021560913 hasAuthorship W3021560913A5077791579 @default.
- W3021560913 hasAuthorship W3021560913A5086365218 @default.
- W3021560913 hasConcept C111472728 @default.
- W3021560913 hasConcept C11413529 @default.
- W3021560913 hasConcept C114614502 @default.
- W3021560913 hasConcept C124304363 @default.
- W3021560913 hasConcept C138885662 @default.
- W3021560913 hasConcept C149635348 @default.
- W3021560913 hasConcept C173018170 @default.
- W3021560913 hasConcept C184670325 @default.
- W3021560913 hasConcept C199360897 @default.
- W3021560913 hasConcept C2524010 @default.
- W3021560913 hasConcept C2776036281 @default.
- W3021560913 hasConcept C2776633867 @default.
- W3021560913 hasConcept C33923547 @default.
- W3021560913 hasConcept C41008148 @default.
- W3021560913 hasConcept C80444323 @default.
- W3021560913 hasConceptScore W3021560913C111472728 @default.
- W3021560913 hasConceptScore W3021560913C11413529 @default.
- W3021560913 hasConceptScore W3021560913C114614502 @default.
- W3021560913 hasConceptScore W3021560913C124304363 @default.
- W3021560913 hasConceptScore W3021560913C138885662 @default.
- W3021560913 hasConceptScore W3021560913C149635348 @default.
- W3021560913 hasConceptScore W3021560913C173018170 @default.
- W3021560913 hasConceptScore W3021560913C184670325 @default.
- W3021560913 hasConceptScore W3021560913C199360897 @default.
- W3021560913 hasConceptScore W3021560913C2524010 @default.
- W3021560913 hasConceptScore W3021560913C2776036281 @default.
- W3021560913 hasConceptScore W3021560913C2776633867 @default.
- W3021560913 hasConceptScore W3021560913C33923547 @default.
- W3021560913 hasConceptScore W3021560913C41008148 @default.
- W3021560913 hasConceptScore W3021560913C80444323 @default.
- W3021560913 hasOpenAccess W3021560913 @default.
- W3021560913 hasRelatedWork W105732303 @default.
- W3021560913 hasRelatedWork W1513996969 @default.
- W3021560913 hasRelatedWork W1770805146 @default.
- W3021560913 hasRelatedWork W193449614 @default.
- W3021560913 hasRelatedWork W2023452603 @default.
- W3021560913 hasRelatedWork W2054098888 @default.
- W3021560913 hasRelatedWork W2163232389 @default.
- W3021560913 hasRelatedWork W2240079117 @default.
- W3021560913 hasRelatedWork W224659930 @default.
- W3021560913 hasRelatedWork W2491714127 @default.
- W3021560913 hasRelatedWork W2524712299 @default.
- W3021560913 hasRelatedWork W2598547732 @default.
- W3021560913 hasRelatedWork W2612405216 @default.
- W3021560913 hasRelatedWork W2755342593 @default.
- W3021560913 hasRelatedWork W2780733723 @default.
- W3021560913 hasRelatedWork W2892273617 @default.
- W3021560913 hasRelatedWork W2899389232 @default.
- W3021560913 hasRelatedWork W2951830171 @default.
- W3021560913 hasRelatedWork W3036026499 @default.
- W3021560913 hasRelatedWork W3164097261 @default.
- W3021560913 hasVolume "0313" @default.
- W3021560913 isParatext "false" @default.
- W3021560913 isRetracted "false" @default.
- W3021560913 magId "3021560913" @default.
- W3021560913 workType "article" @default.