Matches in SemOpenAlex for { <https://semopenalex.org/work/W3083181827> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3083181827 abstract "Inevitability properties in branching temporal logics are of the syntax ∀◊φ, where φ is an arbitrary (timed) CTL formula. Such inevitability properties in dense-time logics can be analyzed with greatest fixpoint calculation. We present algorithms to model-check inevitability properties both with and without non-Zeno computation requirement. We discuss a technique for early decision on greatest fixpoint calculation. Our algorithms come with a d-parameter for the measurement of timeprogress. We have experimented with various issues, which may affect the performance of TCTL inevitability analysis. Specifically, we report the performance of our implementation w.r.t. various d-parameter values and with or without the non-Zeno computation requirement in the evaluation of greatest fixpoints. We have also experimented with safe abstration techniques for model-checking TCTL inevitability properties. Analysis of experiment data helps clarify how various techniques can be used to improve verification of inevitability properties." @default.
- W3083181827 created "2020-09-11" @default.
- W3083181827 creator A5022580520 @default.
- W3083181827 creator A5063346775 @default.
- W3083181827 creator A5083477291 @default.
- W3083181827 date "2003-01-01" @default.
- W3083181827 modified "2023-09-23" @default.
- W3083181827 title "TCTL Inevitability Analysis of Dense-time Systems" @default.
- W3083181827 hasPublicationYear "2003" @default.
- W3083181827 type Work @default.
- W3083181827 sameAs 3083181827 @default.
- W3083181827 citedByCount "0" @default.
- W3083181827 crossrefType "journal-article" @default.
- W3083181827 hasAuthorship W3083181827A5022580520 @default.
- W3083181827 hasAuthorship W3083181827A5063346775 @default.
- W3083181827 hasAuthorship W3083181827A5083477291 @default.
- W3083181827 hasConcept C110251889 @default.
- W3083181827 hasConcept C112505250 @default.
- W3083181827 hasConcept C11413529 @default.
- W3083181827 hasConcept C134306372 @default.
- W3083181827 hasConcept C154945302 @default.
- W3083181827 hasConcept C159985019 @default.
- W3083181827 hasConcept C192562407 @default.
- W3083181827 hasConcept C206175624 @default.
- W3083181827 hasConcept C2524010 @default.
- W3083181827 hasConcept C33923547 @default.
- W3083181827 hasConcept C41008148 @default.
- W3083181827 hasConcept C45374587 @default.
- W3083181827 hasConcept C60048249 @default.
- W3083181827 hasConcept C61445026 @default.
- W3083181827 hasConcept C7707877 @default.
- W3083181827 hasConcept C80444323 @default.
- W3083181827 hasConceptScore W3083181827C110251889 @default.
- W3083181827 hasConceptScore W3083181827C112505250 @default.
- W3083181827 hasConceptScore W3083181827C11413529 @default.
- W3083181827 hasConceptScore W3083181827C134306372 @default.
- W3083181827 hasConceptScore W3083181827C154945302 @default.
- W3083181827 hasConceptScore W3083181827C159985019 @default.
- W3083181827 hasConceptScore W3083181827C192562407 @default.
- W3083181827 hasConceptScore W3083181827C206175624 @default.
- W3083181827 hasConceptScore W3083181827C2524010 @default.
- W3083181827 hasConceptScore W3083181827C33923547 @default.
- W3083181827 hasConceptScore W3083181827C41008148 @default.
- W3083181827 hasConceptScore W3083181827C45374587 @default.
- W3083181827 hasConceptScore W3083181827C60048249 @default.
- W3083181827 hasConceptScore W3083181827C61445026 @default.
- W3083181827 hasConceptScore W3083181827C7707877 @default.
- W3083181827 hasConceptScore W3083181827C80444323 @default.
- W3083181827 hasLocation W30831818271 @default.
- W3083181827 hasOpenAccess W3083181827 @default.
- W3083181827 hasPrimaryLocation W30831818271 @default.
- W3083181827 hasRelatedWork W127601311 @default.
- W3083181827 hasRelatedWork W134591393 @default.
- W3083181827 hasRelatedWork W1551070491 @default.
- W3083181827 hasRelatedWork W1600588018 @default.
- W3083181827 hasRelatedWork W1999625645 @default.
- W3083181827 hasRelatedWork W2015370791 @default.
- W3083181827 hasRelatedWork W2087411240 @default.
- W3083181827 hasRelatedWork W2127044478 @default.
- W3083181827 hasRelatedWork W2131619710 @default.
- W3083181827 hasRelatedWork W2142853014 @default.
- W3083181827 hasRelatedWork W2184759525 @default.
- W3083181827 hasRelatedWork W2390661617 @default.
- W3083181827 hasRelatedWork W2417386697 @default.
- W3083181827 hasRelatedWork W2575395113 @default.
- W3083181827 hasRelatedWork W2804015072 @default.
- W3083181827 hasRelatedWork W2808633434 @default.
- W3083181827 hasRelatedWork W2919905491 @default.
- W3083181827 hasRelatedWork W2951066807 @default.
- W3083181827 hasRelatedWork W3157619182 @default.
- W3083181827 hasRelatedWork W2181617201 @default.
- W3083181827 isParatext "false" @default.
- W3083181827 isRetracted "false" @default.
- W3083181827 magId "3083181827" @default.
- W3083181827 workType "article" @default.