Matches in SemOpenAlex for { <https://semopenalex.org/work/W127533267> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W127533267 endingPage "117" @default.
- W127533267 startingPage "99" @default.
- W127533267 abstract "Many temporal logic properties of interest involve both state and action predicates and only hold under suitable fairness assumptions. Temporal logics supporting both state and action predicates such as the Temporal Logic of Rewriting (TLR) can be used to express both the desired properties and the fairness assumptions. However, model checking such properties directly can easily become impossible for two reasons: (i) the exponential blowup in generating the Buchi automaton for the implication formula including the fairness assumptions in its condition easily makes such generation unfeasible; and (ii) often the needed fairness assumptions cannot even be expressed as propositional temporal logic formulas because they are parametric, that is, they correspond to universally quantified temporal logic formulas. Such universal quantification is succinctly captured by the notion of localized fairness; for example, fairness localized to the parameter o in object fairness conditions. We summarize the foundations and present the language design and implementation of the new Maude LTLR Model Checker under localized fairness. This is the first tool we are aware of which can model check temporal logic properties under parametric fairness assumptions." @default.
- W127533267 created "2016-06-24" @default.
- W127533267 creator A5007839082 @default.
- W127533267 creator A5085748879 @default.
- W127533267 date "2012-01-01" @default.
- W127533267 modified "2023-09-26" @default.
- W127533267 title "Model Checking LTLR Formulas under Localized Fairness" @default.
- W127533267 cites W1487939066 @default.
- W127533267 cites W1515421996 @default.
- W127533267 cites W1517566730 @default.
- W127533267 cites W1523885398 @default.
- W127533267 cites W1543180705 @default.
- W127533267 cites W1557876268 @default.
- W127533267 cites W1599831144 @default.
- W127533267 cites W1698053229 @default.
- W127533267 cites W1756958128 @default.
- W127533267 cites W1977553951 @default.
- W127533267 cites W2020306722 @default.
- W127533267 cites W2023961202 @default.
- W127533267 cites W2090106217 @default.
- W127533267 cites W2096910097 @default.
- W127533267 cites W2097974511 @default.
- W127533267 cites W2913689616 @default.
- W127533267 cites W1583068981 @default.
- W127533267 doi "https://doi.org/10.1007/978-3-642-34005-5_6" @default.
- W127533267 hasPublicationYear "2012" @default.
- W127533267 type Work @default.
- W127533267 sameAs 127533267 @default.
- W127533267 citedByCount "7" @default.
- W127533267 countsByYear W1275332672013 @default.
- W127533267 countsByYear W1275332672014 @default.
- W127533267 countsByYear W1275332672015 @default.
- W127533267 countsByYear W1275332672017 @default.
- W127533267 countsByYear W1275332672018 @default.
- W127533267 crossrefType "book-chapter" @default.
- W127533267 hasAuthorship W127533267A5007839082 @default.
- W127533267 hasAuthorship W127533267A5085748879 @default.
- W127533267 hasConcept C110251889 @default.
- W127533267 hasConcept C15744967 @default.
- W127533267 hasConcept C199360897 @default.
- W127533267 hasConcept C41008148 @default.
- W127533267 hasConceptScore W127533267C110251889 @default.
- W127533267 hasConceptScore W127533267C15744967 @default.
- W127533267 hasConceptScore W127533267C199360897 @default.
- W127533267 hasConceptScore W127533267C41008148 @default.
- W127533267 hasLocation W1275332671 @default.
- W127533267 hasOpenAccess W127533267 @default.
- W127533267 hasPrimaryLocation W1275332671 @default.
- W127533267 hasRelatedWork W1543150587 @default.
- W127533267 hasRelatedWork W1557832504 @default.
- W127533267 hasRelatedWork W2134424614 @default.
- W127533267 hasRelatedWork W2177212599 @default.
- W127533267 hasRelatedWork W2364866360 @default.
- W127533267 hasRelatedWork W2370841479 @default.
- W127533267 hasRelatedWork W2551596431 @default.
- W127533267 hasRelatedWork W2736871302 @default.
- W127533267 hasRelatedWork W2748952813 @default.
- W127533267 hasRelatedWork W2899084033 @default.
- W127533267 isParatext "false" @default.
- W127533267 isRetracted "false" @default.
- W127533267 magId "127533267" @default.
- W127533267 workType "book-chapter" @default.