Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571284404> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1571284404 endingPage "159" @default.
- W1571284404 startingPage "146" @default.
- W1571284404 abstract "We address the problem of verifying systems operating on different types of variables ranging over infinite domains. We consider in particular systems modeled by means of extended automata communicating through unbounded fifo channels. We develop a general methodology for analyzing such systems based on combining automatic generation of abstract models (not necessarily finite-state) with symbolic reachability analysis. Reachability analysis procedures allow to verify automatically properties at the abstract level as well as to generate auxiliary invariants and accurate abstraction functions that can be used at the concrete level. We propose a realization of this approach in a framework which extends PVS with automatic invariant checking strategies, automatic procedures for generating abstract models, as well as automatabased decision procedures and reachability analysis procedures for fifo channels systems." @default.
- W1571284404 created "2016-06-24" @default.
- W1571284404 creator A5002478680 @default.
- W1571284404 creator A5005219814 @default.
- W1571284404 creator A5024788942 @default.
- W1571284404 creator A5045477471 @default.
- W1571284404 creator A5054351430 @default.
- W1571284404 creator A5069785845 @default.
- W1571284404 date "1999-01-01" @default.
- W1571284404 modified "2023-09-23" @default.
- W1571284404 title "Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis" @default.
- W1571284404 cites W1565379800 @default.
- W1571284404 cites W1905205673 @default.
- W1571284404 cites W1985925577 @default.
- W1571284404 cites W2004463571 @default.
- W1571284404 cites W2080263276 @default.
- W1571284404 cites W2080593426 @default.
- W1571284404 cites W2113486906 @default.
- W1571284404 cites W2123160677 @default.
- W1571284404 cites W2132661148 @default.
- W1571284404 cites W2153945968 @default.
- W1571284404 cites W4251718220 @default.
- W1571284404 doi "https://doi.org/10.1007/3-540-48683-6_15" @default.
- W1571284404 hasPublicationYear "1999" @default.
- W1571284404 type Work @default.
- W1571284404 sameAs 1571284404 @default.
- W1571284404 citedByCount "27" @default.
- W1571284404 countsByYear W15712844042015 @default.
- W1571284404 countsByYear W15712844042016 @default.
- W1571284404 crossrefType "book-chapter" @default.
- W1571284404 hasAuthorship W1571284404A5002478680 @default.
- W1571284404 hasAuthorship W1571284404A5005219814 @default.
- W1571284404 hasAuthorship W1571284404A5024788942 @default.
- W1571284404 hasAuthorship W1571284404A5045477471 @default.
- W1571284404 hasAuthorship W1571284404A5054351430 @default.
- W1571284404 hasAuthorship W1571284404A5069785845 @default.
- W1571284404 hasBestOaLocation W15712844041 @default.
- W1571284404 hasConcept C110251889 @default.
- W1571284404 hasConcept C111472728 @default.
- W1571284404 hasConcept C124304363 @default.
- W1571284404 hasConcept C136643341 @default.
- W1571284404 hasConcept C138885662 @default.
- W1571284404 hasConcept C199360897 @default.
- W1571284404 hasConcept C41008148 @default.
- W1571284404 hasConcept C48103436 @default.
- W1571284404 hasConcept C80444323 @default.
- W1571284404 hasConceptScore W1571284404C110251889 @default.
- W1571284404 hasConceptScore W1571284404C111472728 @default.
- W1571284404 hasConceptScore W1571284404C124304363 @default.
- W1571284404 hasConceptScore W1571284404C136643341 @default.
- W1571284404 hasConceptScore W1571284404C138885662 @default.
- W1571284404 hasConceptScore W1571284404C199360897 @default.
- W1571284404 hasConceptScore W1571284404C41008148 @default.
- W1571284404 hasConceptScore W1571284404C48103436 @default.
- W1571284404 hasConceptScore W1571284404C80444323 @default.
- W1571284404 hasLocation W15712844041 @default.
- W1571284404 hasOpenAccess W1571284404 @default.
- W1571284404 hasPrimaryLocation W15712844041 @default.
- W1571284404 hasRelatedWork W1529696074 @default.
- W1571284404 hasRelatedWork W1540741945 @default.
- W1571284404 hasRelatedWork W1577441161 @default.
- W1571284404 hasRelatedWork W1864417503 @default.
- W1571284404 hasRelatedWork W1994348879 @default.
- W1571284404 hasRelatedWork W2165214723 @default.
- W1571284404 hasRelatedWork W2577043878 @default.
- W1571284404 hasRelatedWork W41277334 @default.
- W1571284404 hasRelatedWork W895230556 @default.
- W1571284404 hasRelatedWork W2610540209 @default.
- W1571284404 isParatext "false" @default.
- W1571284404 isRetracted "false" @default.
- W1571284404 magId "1571284404" @default.
- W1571284404 workType "book-chapter" @default.