Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549206618> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1549206618 abstract "We propose a symbolic model checking procedure for timed systems that is based on operations on constraints. To accelerate the termination of the model checking procedure, we define history-dependent widening operators, again in terms of constraint-based operations. We show that these widenings are accurate, i.e., they don't lose precision even with respect to the test of boundedness properties." @default.
- W1549206618 created "2016-06-24" @default.
- W1549206618 creator A5062411838 @default.
- W1549206618 creator A5082521701 @default.
- W1549206618 date "2001-01-01" @default.
- W1549206618 modified "2023-09-23" @default.
- W1549206618 title "Accurate Widenings and Boundedness Properties of Timed Systems" @default.
- W1549206618 cites W1490546070 @default.
- W1549206618 cites W1502028089 @default.
- W1549206618 cites W1520624628 @default.
- W1549206618 cites W1537088747 @default.
- W1549206618 cites W1550288578 @default.
- W1549206618 cites W1551070491 @default.
- W1549206618 cites W1572952339 @default.
- W1549206618 cites W1574289075 @default.
- W1549206618 cites W1576210790 @default.
- W1549206618 cites W1637976039 @default.
- W1549206618 cites W1777025722 @default.
- W1549206618 cites W1905380539 @default.
- W1549206618 cites W1995151557 @default.
- W1549206618 cites W2043100293 @default.
- W1549206618 cites W2063727779 @default.
- W1549206618 cites W2100271265 @default.
- W1549206618 cites W2101508170 @default.
- W1549206618 cites W2118802216 @default.
- W1549206618 cites W2132661148 @default.
- W1549206618 cites W2150621341 @default.
- W1549206618 cites W2163590987 @default.
- W1549206618 cites W2173534792 @default.
- W1549206618 cites W5574567 @default.
- W1549206618 doi "https://doi.org/10.1007/3-540-45575-2_10" @default.
- W1549206618 hasPublicationYear "2001" @default.
- W1549206618 type Work @default.
- W1549206618 sameAs 1549206618 @default.
- W1549206618 citedByCount "2" @default.
- W1549206618 crossrefType "book-chapter" @default.
- W1549206618 hasAuthorship W1549206618A5062411838 @default.
- W1549206618 hasAuthorship W1549206618A5082521701 @default.
- W1549206618 hasConcept C110251889 @default.
- W1549206618 hasConcept C11413529 @default.
- W1549206618 hasConcept C199360897 @default.
- W1549206618 hasConcept C2524010 @default.
- W1549206618 hasConcept C2776036281 @default.
- W1549206618 hasConcept C33923547 @default.
- W1549206618 hasConcept C41008148 @default.
- W1549206618 hasConcept C80444323 @default.
- W1549206618 hasConceptScore W1549206618C110251889 @default.
- W1549206618 hasConceptScore W1549206618C11413529 @default.
- W1549206618 hasConceptScore W1549206618C199360897 @default.
- W1549206618 hasConceptScore W1549206618C2524010 @default.
- W1549206618 hasConceptScore W1549206618C2776036281 @default.
- W1549206618 hasConceptScore W1549206618C33923547 @default.
- W1549206618 hasConceptScore W1549206618C41008148 @default.
- W1549206618 hasConceptScore W1549206618C80444323 @default.
- W1549206618 hasLocation W15492066181 @default.
- W1549206618 hasOpenAccess W1549206618 @default.
- W1549206618 hasPrimaryLocation W15492066181 @default.
- W1549206618 hasRelatedWork W1654885996 @default.
- W1549206618 hasRelatedWork W17443020 @default.
- W1549206618 hasRelatedWork W2052292955 @default.
- W1549206618 hasRelatedWork W2174475829 @default.
- W1549206618 hasRelatedWork W2189891361 @default.
- W1549206618 hasRelatedWork W2202657245 @default.
- W1549206618 hasRelatedWork W2269028567 @default.
- W1549206618 hasRelatedWork W2293841724 @default.
- W1549206618 hasRelatedWork W2296230717 @default.
- W1549206618 hasRelatedWork W2471389158 @default.
- W1549206618 hasRelatedWork W2617161903 @default.
- W1549206618 hasRelatedWork W2752091917 @default.
- W1549206618 hasRelatedWork W2921915242 @default.
- W1549206618 hasRelatedWork W2951846185 @default.
- W1549206618 hasRelatedWork W3092162653 @default.
- W1549206618 hasRelatedWork W3103537224 @default.
- W1549206618 hasRelatedWork W3124396418 @default.
- W1549206618 hasRelatedWork W3195050943 @default.
- W1549206618 hasRelatedWork W2186618191 @default.
- W1549206618 hasRelatedWork W3021482614 @default.
- W1549206618 isParatext "false" @default.
- W1549206618 isRetracted "false" @default.
- W1549206618 magId "1549206618" @default.
- W1549206618 workType "book-chapter" @default.