Matches in SemOpenAlex for { <https://semopenalex.org/work/W1873868385> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1873868385 abstract "Based on the equivalence relation for location based reachability between continuous and integer semantics of closed timed automata, Beyer et al. have implemented the verifier Rabbit, with the uniform representation of reachable configurations. However, the growth of maximal constant of clock variables will decline the performance of Rabbit. The paper proposes an improved symbolic method, using binary decision diagrams (BDDs) to store the symbolic representation of discretized states, for the verification of timed systems. Compared with Rabbit, experiments demonstrate that besides the memory reduction, our implementation is also less sensitive to the size of clock domain." @default.
- W1873868385 created "2016-06-24" @default.
- W1873868385 creator A5007923079 @default.
- W1873868385 creator A5026621323 @default.
- W1873868385 creator A5030124819 @default.
- W1873868385 creator A5043724475 @default.
- W1873868385 date "2007-01-01" @default.
- W1873868385 modified "2023-09-26" @default.
- W1873868385 title "Improvements for the Symbolic Verification of Timed Automata" @default.
- W1873868385 cites W1482244861 @default.
- W1873868385 cites W1486272257 @default.
- W1873868385 cites W1508821727 @default.
- W1873868385 cites W1535937574 @default.
- W1873868385 cites W1548080088 @default.
- W1873868385 cites W1559321056 @default.
- W1873868385 cites W1751719170 @default.
- W1873868385 cites W1829884141 @default.
- W1873868385 cites W1874996599 @default.
- W1873868385 cites W2000947342 @default.
- W1873868385 cites W2101508170 @default.
- W1873868385 cites W2142718416 @default.
- W1873868385 cites W2163014247 @default.
- W1873868385 cites W2166071597 @default.
- W1873868385 doi "https://doi.org/10.1007/978-3-540-73196-2_13" @default.
- W1873868385 hasPublicationYear "2007" @default.
- W1873868385 type Work @default.
- W1873868385 sameAs 1873868385 @default.
- W1873868385 citedByCount "0" @default.
- W1873868385 crossrefType "book-chapter" @default.
- W1873868385 hasAuthorship W1873868385A5007923079 @default.
- W1873868385 hasAuthorship W1873868385A5026621323 @default.
- W1873868385 hasAuthorship W1873868385A5030124819 @default.
- W1873868385 hasAuthorship W1873868385A5043724475 @default.
- W1873868385 hasBestOaLocation W18738683851 @default.
- W1873868385 hasConcept C110251889 @default.
- W1873868385 hasConcept C111335779 @default.
- W1873868385 hasConcept C111498074 @default.
- W1873868385 hasConcept C112505250 @default.
- W1873868385 hasConcept C11413529 @default.
- W1873868385 hasConcept C118615104 @default.
- W1873868385 hasConcept C136643341 @default.
- W1873868385 hasConcept C156103551 @default.
- W1873868385 hasConcept C17744445 @default.
- W1873868385 hasConcept C184337299 @default.
- W1873868385 hasConcept C199360897 @default.
- W1873868385 hasConcept C199539241 @default.
- W1873868385 hasConcept C23123167 @default.
- W1873868385 hasConcept C2524010 @default.
- W1873868385 hasConcept C2776359362 @default.
- W1873868385 hasConcept C2780069185 @default.
- W1873868385 hasConcept C30788636 @default.
- W1873868385 hasConcept C3309909 @default.
- W1873868385 hasConcept C33923547 @default.
- W1873868385 hasConcept C41008148 @default.
- W1873868385 hasConcept C65620979 @default.
- W1873868385 hasConcept C80444323 @default.
- W1873868385 hasConcept C94625758 @default.
- W1873868385 hasConcept C96654402 @default.
- W1873868385 hasConceptScore W1873868385C110251889 @default.
- W1873868385 hasConceptScore W1873868385C111335779 @default.
- W1873868385 hasConceptScore W1873868385C111498074 @default.
- W1873868385 hasConceptScore W1873868385C112505250 @default.
- W1873868385 hasConceptScore W1873868385C11413529 @default.
- W1873868385 hasConceptScore W1873868385C118615104 @default.
- W1873868385 hasConceptScore W1873868385C136643341 @default.
- W1873868385 hasConceptScore W1873868385C156103551 @default.
- W1873868385 hasConceptScore W1873868385C17744445 @default.
- W1873868385 hasConceptScore W1873868385C184337299 @default.
- W1873868385 hasConceptScore W1873868385C199360897 @default.
- W1873868385 hasConceptScore W1873868385C199539241 @default.
- W1873868385 hasConceptScore W1873868385C23123167 @default.
- W1873868385 hasConceptScore W1873868385C2524010 @default.
- W1873868385 hasConceptScore W1873868385C2776359362 @default.
- W1873868385 hasConceptScore W1873868385C2780069185 @default.
- W1873868385 hasConceptScore W1873868385C30788636 @default.
- W1873868385 hasConceptScore W1873868385C3309909 @default.
- W1873868385 hasConceptScore W1873868385C33923547 @default.
- W1873868385 hasConceptScore W1873868385C41008148 @default.
- W1873868385 hasConceptScore W1873868385C65620979 @default.
- W1873868385 hasConceptScore W1873868385C80444323 @default.
- W1873868385 hasConceptScore W1873868385C94625758 @default.
- W1873868385 hasConceptScore W1873868385C96654402 @default.
- W1873868385 hasLocation W18738683851 @default.
- W1873868385 hasLocation W18738683852 @default.
- W1873868385 hasOpenAccess W1873868385 @default.
- W1873868385 hasPrimaryLocation W18738683851 @default.
- W1873868385 hasRelatedWork W1026502902 @default.
- W1873868385 hasRelatedWork W1490722843 @default.
- W1873868385 hasRelatedWork W1497879578 @default.
- W1873868385 hasRelatedWork W1801993675 @default.
- W1873868385 hasRelatedWork W2100424584 @default.
- W1873868385 hasRelatedWork W2899100898 @default.
- W1873868385 hasRelatedWork W379834542 @default.
- W1873868385 hasRelatedWork W38902447 @default.
- W1873868385 hasRelatedWork W4232884709 @default.
- W1873868385 hasRelatedWork W2462343658 @default.
- W1873868385 isParatext "false" @default.
- W1873868385 isRetracted "false" @default.
- W1873868385 magId "1873868385" @default.
- W1873868385 workType "book-chapter" @default.