Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574267655> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1574267655 endingPage "288" @default.
- W1574267655 startingPage "271" @default.
- W1574267655 abstract "We present a framework for fully automated compositional verification of μ -calculus specifications over multi-valued systems, based on multi-valued abstraction and refinement.Multi-valued models are widely used in many applications of model checking. They enable a more precise modeling of systems by distinguishing several levels of uncertainty and inconsistency. Successful verification tools such as STE (for hardware) and YASM (for software) are based on multi-valued models.Our compositional approach model checks individual components of a system. Only if all individual checks return indefinite values, the parts of the components which are responsible for these values, are composed and checked. Thus the construction of the full system is avoided. If the latter check is still indefinite, then a refinement is needed.We formalize our framework based on bilattices, consisting of a truth lattice and an information lattice. Formulas interpreted over a multi-valued model are evaluated w.r.t. to the truth lattice. On the other hand, refinement is now aimed at increasing the information level of model details, thus also increasing the information level of the model checking result. Based on the two lattices, we suggest how multi-valued models should be composed, checked, and refined." @default.
- W1574267655 created "2016-06-24" @default.
- W1574267655 creator A5028417315 @default.
- W1574267655 creator A5043936415 @default.
- W1574267655 creator A5090110984 @default.
- W1574267655 date "2009-01-01" @default.
- W1574267655 modified "2023-09-25" @default.
- W1574267655 title "A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement" @default.
- W1574267655 cites W1487409515 @default.
- W1574267655 cites W1506086030 @default.
- W1574267655 cites W1538440743 @default.
- W1574267655 cites W1549035077 @default.
- W1574267655 cites W1555593767 @default.
- W1574267655 cites W1559445291 @default.
- W1574267655 cites W1574267655 @default.
- W1574267655 cites W1589294645 @default.
- W1574267655 cites W166818797 @default.
- W1574267655 cites W1986558678 @default.
- W1574267655 cites W2034102118 @default.
- W1574267655 cites W2046213250 @default.
- W1574267655 cites W2090106217 @default.
- W1574267655 cites W2110783522 @default.
- W1574267655 cites W2142880957 @default.
- W1574267655 cites W4302599276 @default.
- W1574267655 cites W1509617869 @default.
- W1574267655 cites W1639511381 @default.
- W1574267655 doi "https://doi.org/10.1007/978-3-642-04761-9_21" @default.
- W1574267655 hasPublicationYear "2009" @default.
- W1574267655 type Work @default.
- W1574267655 sameAs 1574267655 @default.
- W1574267655 citedByCount "8" @default.
- W1574267655 countsByYear W15742676552015 @default.
- W1574267655 countsByYear W15742676552017 @default.
- W1574267655 countsByYear W15742676552018 @default.
- W1574267655 crossrefType "book-chapter" @default.
- W1574267655 hasAuthorship W1574267655A5028417315 @default.
- W1574267655 hasAuthorship W1574267655A5043936415 @default.
- W1574267655 hasAuthorship W1574267655A5090110984 @default.
- W1574267655 hasBestOaLocation W15742676552 @default.
- W1574267655 hasConcept C111472728 @default.
- W1574267655 hasConcept C115903868 @default.
- W1574267655 hasConcept C124304363 @default.
- W1574267655 hasConcept C138885662 @default.
- W1574267655 hasConcept C199360897 @default.
- W1574267655 hasConcept C41008148 @default.
- W1574267655 hasConceptScore W1574267655C111472728 @default.
- W1574267655 hasConceptScore W1574267655C115903868 @default.
- W1574267655 hasConceptScore W1574267655C124304363 @default.
- W1574267655 hasConceptScore W1574267655C138885662 @default.
- W1574267655 hasConceptScore W1574267655C199360897 @default.
- W1574267655 hasConceptScore W1574267655C41008148 @default.
- W1574267655 hasLocation W15742676551 @default.
- W1574267655 hasLocation W15742676552 @default.
- W1574267655 hasOpenAccess W1574267655 @default.
- W1574267655 hasPrimaryLocation W15742676551 @default.
- W1574267655 hasRelatedWork W137976737 @default.
- W1574267655 hasRelatedWork W1504651774 @default.
- W1574267655 hasRelatedWork W1565263828 @default.
- W1574267655 hasRelatedWork W1999473061 @default.
- W1574267655 hasRelatedWork W2052803392 @default.
- W1574267655 hasRelatedWork W2068700777 @default.
- W1574267655 hasRelatedWork W2135396778 @default.
- W1574267655 hasRelatedWork W3160136729 @default.
- W1574267655 hasRelatedWork W4243252198 @default.
- W1574267655 hasRelatedWork W2611182424 @default.
- W1574267655 isParatext "false" @default.
- W1574267655 isRetracted "false" @default.
- W1574267655 magId "1574267655" @default.
- W1574267655 workType "book-chapter" @default.