Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116787148> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2116787148 abstract "We describe the modeling and verification of TTCAN startup protocol using SAL model checker. For the modeling purposes we propose a new modeling framework called Synchronous Calendar which can be seen as an adaptation of Calendar based models introduced by Duterte and Sorea. A Synchronous Calendar can express dense time systems without relying on continuously varying clocks and supports synchronous message transmission. We capture both fault-free and fault-tolerant aspects of startup algorithm of TTCAN in two different models and verify the safety and liveness properties for them. Our verification technique relies on induction and abstraction methods which are supported by SAL model checker. To our knowledge this is the first work towards a formal analysis of TTCAN startup protocol." @default.
- W2116787148 created "2016-06-24" @default.
- W2116787148 creator A5011191138 @default.
- W2116787148 creator A5080167244 @default.
- W2116787148 creator A5091737579 @default.
- W2116787148 date "2007-09-01" @default.
- W2116787148 modified "2023-10-16" @default.
- W2116787148 title "Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar" @default.
- W2116787148 cites W1517793941 @default.
- W2116787148 cites W1606860058 @default.
- W2116787148 cites W1614534029 @default.
- W2116787148 cites W1787856118 @default.
- W2116787148 cites W1943502734 @default.
- W2116787148 cites W1987959230 @default.
- W2116787148 cites W2098784258 @default.
- W2116787148 cites W2101508170 @default.
- W2116787148 cites W2105891728 @default.
- W2116787148 cites W2164854480 @default.
- W2116787148 cites W2166752259 @default.
- W2116787148 cites W2220680492 @default.
- W2116787148 cites W2246276996 @default.
- W2116787148 doi "https://doi.org/10.1109/sefm.2007.27" @default.
- W2116787148 hasPublicationYear "2007" @default.
- W2116787148 type Work @default.
- W2116787148 sameAs 2116787148 @default.
- W2116787148 citedByCount "5" @default.
- W2116787148 countsByYear W21167871482014 @default.
- W2116787148 countsByYear W21167871482016 @default.
- W2116787148 countsByYear W21167871482019 @default.
- W2116787148 crossrefType "proceedings-article" @default.
- W2116787148 hasAuthorship W2116787148A5011191138 @default.
- W2116787148 hasAuthorship W2116787148A5080167244 @default.
- W2116787148 hasAuthorship W2116787148A5091737579 @default.
- W2116787148 hasConcept C110251889 @default.
- W2116787148 hasConcept C111472728 @default.
- W2116787148 hasConcept C111498074 @default.
- W2116787148 hasConcept C124304363 @default.
- W2116787148 hasConcept C138885662 @default.
- W2116787148 hasConcept C142724271 @default.
- W2116787148 hasConcept C149635348 @default.
- W2116787148 hasConcept C15569618 @default.
- W2116787148 hasConcept C199360897 @default.
- W2116787148 hasConcept C204787440 @default.
- W2116787148 hasConcept C2780385302 @default.
- W2116787148 hasConcept C41008148 @default.
- W2116787148 hasConcept C71924100 @default.
- W2116787148 hasConceptScore W2116787148C110251889 @default.
- W2116787148 hasConceptScore W2116787148C111472728 @default.
- W2116787148 hasConceptScore W2116787148C111498074 @default.
- W2116787148 hasConceptScore W2116787148C124304363 @default.
- W2116787148 hasConceptScore W2116787148C138885662 @default.
- W2116787148 hasConceptScore W2116787148C142724271 @default.
- W2116787148 hasConceptScore W2116787148C149635348 @default.
- W2116787148 hasConceptScore W2116787148C15569618 @default.
- W2116787148 hasConceptScore W2116787148C199360897 @default.
- W2116787148 hasConceptScore W2116787148C204787440 @default.
- W2116787148 hasConceptScore W2116787148C2780385302 @default.
- W2116787148 hasConceptScore W2116787148C41008148 @default.
- W2116787148 hasConceptScore W2116787148C71924100 @default.
- W2116787148 hasLocation W21167871481 @default.
- W2116787148 hasOpenAccess W2116787148 @default.
- W2116787148 hasPrimaryLocation W21167871481 @default.
- W2116787148 hasRelatedWork W121172116 @default.
- W2116787148 hasRelatedWork W1511759343 @default.
- W2116787148 hasRelatedWork W1979025631 @default.
- W2116787148 hasRelatedWork W20294071 @default.
- W2116787148 hasRelatedWork W2177212599 @default.
- W2116787148 hasRelatedWork W2406828129 @default.
- W2116787148 hasRelatedWork W2577043878 @default.
- W2116787148 hasRelatedWork W3117845742 @default.
- W2116787148 hasRelatedWork W3150420670 @default.
- W2116787148 hasRelatedWork W4384471248 @default.
- W2116787148 isParatext "false" @default.
- W2116787148 isRetracted "false" @default.
- W2116787148 magId "2116787148" @default.
- W2116787148 workType "article" @default.