Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580495911> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1580495911 endingPage "600" @default.
- W1580495911 startingPage "581" @default.
- W1580495911 abstract "In this work, we study model checking of compositional real-time systems. A system is modeled using mutable data variables as well as a compositional timed process. Instead of explicitly manipulating clock variables, a number of compositional timed behavioral patterns are used to capture quantitative timing requirements, e.g. delay, timeout, deadline, timed interrupt, etc. A fully automated abstraction technique is developed to build an abstract finite state machine from the model. The idea is to dynamically create/delete clocks, and maintain/solve a constraint on the clocks. The abstract machine weakly bi-simulates the model and, therefore, LTL model checking or trace-refinement checking are sound and complete. We enhance our home-grown PAT model checker with the technique and show its usability via the verification of benchmark systems." @default.
- W1580495911 created "2016-06-24" @default.
- W1580495911 creator A5023363049 @default.
- W1580495911 creator A5068911982 @default.
- W1580495911 creator A5074999356 @default.
- W1580495911 creator A5085067496 @default.
- W1580495911 date "2009-01-01" @default.
- W1580495911 modified "2023-09-26" @default.
- W1580495911 title "Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction" @default.
- W1580495911 cites W1482233117 @default.
- W1580495911 cites W1491196069 @default.
- W1580495911 cites W1497839719 @default.
- W1580495911 cites W1497882246 @default.
- W1580495911 cites W1521052220 @default.
- W1580495911 cites W1565767308 @default.
- W1580495911 cites W1582156956 @default.
- W1580495911 cites W1602114053 @default.
- W1580495911 cites W1702401680 @default.
- W1580495911 cites W1874996599 @default.
- W1580495911 cites W1967761514 @default.
- W1580495911 cites W1974646916 @default.
- W1580495911 cites W2000947342 @default.
- W1580495911 cites W2007572995 @default.
- W1580495911 cites W2037230951 @default.
- W1580495911 cites W2089546907 @default.
- W1580495911 cites W2096282030 @default.
- W1580495911 cites W2101508170 @default.
- W1580495911 cites W2103882301 @default.
- W1580495911 cites W2130773092 @default.
- W1580495911 cites W2133777784 @default.
- W1580495911 cites W2142718416 @default.
- W1580495911 cites W2144569549 @default.
- W1580495911 cites W2152815305 @default.
- W1580495911 cites W2163659692 @default.
- W1580495911 cites W2263917381 @default.
- W1580495911 cites W70247492 @default.
- W1580495911 doi "https://doi.org/10.1007/978-3-642-10373-5_30" @default.
- W1580495911 hasPublicationYear "2009" @default.
- W1580495911 type Work @default.
- W1580495911 sameAs 1580495911 @default.
- W1580495911 citedByCount "25" @default.
- W1580495911 countsByYear W15804959112012 @default.
- W1580495911 countsByYear W15804959112013 @default.
- W1580495911 countsByYear W15804959112014 @default.
- W1580495911 countsByYear W15804959112016 @default.
- W1580495911 countsByYear W15804959112017 @default.
- W1580495911 countsByYear W15804959112020 @default.
- W1580495911 countsByYear W15804959112022 @default.
- W1580495911 crossrefType "book-chapter" @default.
- W1580495911 hasAuthorship W1580495911A5023363049 @default.
- W1580495911 hasAuthorship W1580495911A5068911982 @default.
- W1580495911 hasAuthorship W1580495911A5074999356 @default.
- W1580495911 hasAuthorship W1580495911A5085067496 @default.
- W1580495911 hasBestOaLocation W15804959112 @default.
- W1580495911 hasConcept C111472728 @default.
- W1580495911 hasConcept C124304363 @default.
- W1580495911 hasConcept C138885662 @default.
- W1580495911 hasConcept C158379750 @default.
- W1580495911 hasConcept C173608175 @default.
- W1580495911 hasConcept C199360897 @default.
- W1580495911 hasConcept C22927095 @default.
- W1580495911 hasConcept C38652104 @default.
- W1580495911 hasConcept C41008148 @default.
- W1580495911 hasConceptScore W1580495911C111472728 @default.
- W1580495911 hasConceptScore W1580495911C124304363 @default.
- W1580495911 hasConceptScore W1580495911C138885662 @default.
- W1580495911 hasConceptScore W1580495911C158379750 @default.
- W1580495911 hasConceptScore W1580495911C173608175 @default.
- W1580495911 hasConceptScore W1580495911C199360897 @default.
- W1580495911 hasConceptScore W1580495911C22927095 @default.
- W1580495911 hasConceptScore W1580495911C38652104 @default.
- W1580495911 hasConceptScore W1580495911C41008148 @default.
- W1580495911 hasLocation W15804959111 @default.
- W1580495911 hasLocation W15804959112 @default.
- W1580495911 hasOpenAccess W1580495911 @default.
- W1580495911 hasPrimaryLocation W15804959111 @default.
- W1580495911 hasRelatedWork W137976737 @default.
- W1580495911 hasRelatedWork W1504651774 @default.
- W1580495911 hasRelatedWork W1565263828 @default.
- W1580495911 hasRelatedWork W1999473061 @default.
- W1580495911 hasRelatedWork W2052803392 @default.
- W1580495911 hasRelatedWork W2068700777 @default.
- W1580495911 hasRelatedWork W3016593786 @default.
- W1580495911 hasRelatedWork W3160136729 @default.
- W1580495911 hasRelatedWork W204358304 @default.
- W1580495911 hasRelatedWork W2611182424 @default.
- W1580495911 isParatext "false" @default.
- W1580495911 isRetracted "false" @default.
- W1580495911 magId "1580495911" @default.
- W1580495911 workType "book-chapter" @default.