Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586200345> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1586200345 abstract "Real-time systems can be described using the timed automata of Alur and Dill. Although there exist model-checking algorithms for timed automata, the problem is intractable (PSPACE-complete). In this paper, we propose a model-checking method based on approximations and symbolic representations. We recursively refine over- and underapproximations to compute the set of states that satisfy a temporal formula. The approximate sets are represented using a combination of BDDs (Binary Decision Diagrams) and DBMS (Difference Bound Matrices). We have developed a verification tool based on this method. As a case study, we check safety and liveness properties of an Ethernet protocol." @default.
- W1586200345 created "2016-06-24" @default.
- W1586200345 creator A5003753318 @default.
- W1586200345 creator A5016084389 @default.
- W1586200345 date "1997-01-01" @default.
- W1586200345 modified "2023-10-16" @default.
- W1586200345 title "Symbolic model-checking method based on approximations and binary decision diagrams for real-time systems" @default.
- W1586200345 cites W1482233117 @default.
- W1586200345 cites W1535937574 @default.
- W1586200345 cites W1560527899 @default.
- W1586200345 cites W2080267935 @default.
- W1586200345 cites W2124563781 @default.
- W1586200345 cites W2130013716 @default.
- W1586200345 cites W2133491672 @default.
- W1586200345 cites W2138838211 @default.
- W1586200345 cites W2150119568 @default.
- W1586200345 cites W2167668895 @default.
- W1586200345 cites W5574567 @default.
- W1586200345 cites W59365162 @default.
- W1586200345 doi "https://doi.org/10.1007/bfb0014568" @default.
- W1586200345 hasPublicationYear "1997" @default.
- W1586200345 type Work @default.
- W1586200345 sameAs 1586200345 @default.
- W1586200345 citedByCount "3" @default.
- W1586200345 crossrefType "book-chapter" @default.
- W1586200345 hasAuthorship W1586200345A5003753318 @default.
- W1586200345 hasAuthorship W1586200345A5016084389 @default.
- W1586200345 hasConcept C110251889 @default.
- W1586200345 hasConcept C111498074 @default.
- W1586200345 hasConcept C112505250 @default.
- W1586200345 hasConcept C11413529 @default.
- W1586200345 hasConcept C15569618 @default.
- W1586200345 hasConcept C177264268 @default.
- W1586200345 hasConcept C199360897 @default.
- W1586200345 hasConcept C23123167 @default.
- W1586200345 hasConcept C30788636 @default.
- W1586200345 hasConcept C311688 @default.
- W1586200345 hasConcept C3309909 @default.
- W1586200345 hasConcept C33923547 @default.
- W1586200345 hasConcept C41008148 @default.
- W1586200345 hasConcept C48372109 @default.
- W1586200345 hasConcept C80444323 @default.
- W1586200345 hasConcept C94375191 @default.
- W1586200345 hasConceptScore W1586200345C110251889 @default.
- W1586200345 hasConceptScore W1586200345C111498074 @default.
- W1586200345 hasConceptScore W1586200345C112505250 @default.
- W1586200345 hasConceptScore W1586200345C11413529 @default.
- W1586200345 hasConceptScore W1586200345C15569618 @default.
- W1586200345 hasConceptScore W1586200345C177264268 @default.
- W1586200345 hasConceptScore W1586200345C199360897 @default.
- W1586200345 hasConceptScore W1586200345C23123167 @default.
- W1586200345 hasConceptScore W1586200345C30788636 @default.
- W1586200345 hasConceptScore W1586200345C311688 @default.
- W1586200345 hasConceptScore W1586200345C3309909 @default.
- W1586200345 hasConceptScore W1586200345C33923547 @default.
- W1586200345 hasConceptScore W1586200345C41008148 @default.
- W1586200345 hasConceptScore W1586200345C48372109 @default.
- W1586200345 hasConceptScore W1586200345C80444323 @default.
- W1586200345 hasConceptScore W1586200345C94375191 @default.
- W1586200345 hasLocation W15862003451 @default.
- W1586200345 hasOpenAccess W1586200345 @default.
- W1586200345 hasPrimaryLocation W15862003451 @default.
- W1586200345 hasRelatedWork W11326594 @default.
- W1586200345 hasRelatedWork W1523766116 @default.
- W1586200345 hasRelatedWork W1561331110 @default.
- W1586200345 hasRelatedWork W173662904 @default.
- W1586200345 hasRelatedWork W1988808695 @default.
- W1586200345 hasRelatedWork W2020803470 @default.
- W1586200345 hasRelatedWork W2046895474 @default.
- W1586200345 hasRelatedWork W2155533014 @default.
- W1586200345 hasRelatedWork W2292959956 @default.
- W1586200345 hasRelatedWork W2295849114 @default.
- W1586200345 hasRelatedWork W2416411125 @default.
- W1586200345 hasRelatedWork W2510069860 @default.
- W1586200345 hasRelatedWork W2739957888 @default.
- W1586200345 hasRelatedWork W2762058236 @default.
- W1586200345 hasRelatedWork W2804291498 @default.
- W1586200345 hasRelatedWork W3006574674 @default.
- W1586200345 hasRelatedWork W3011019575 @default.
- W1586200345 hasRelatedWork W3104432887 @default.
- W1586200345 hasRelatedWork W3173778302 @default.
- W1586200345 hasRelatedWork W843901374 @default.
- W1586200345 isParatext "false" @default.
- W1586200345 isRetracted "false" @default.
- W1586200345 magId "1586200345" @default.
- W1586200345 workType "book-chapter" @default.