Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139368337> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2139368337 endingPage "49" @default.
- W2139368337 startingPage "42" @default.
- W2139368337 abstract "We present a complete study involving in the one hand refinement and an associated theorem proving tool and, on the other hand liveness verification with an associated tool. The event B method is used in the first part whereas Spin is used in the second one. The Spin validation tool is used to simulate and check B abstract systems. This entire development is mechanically proved with respect to safety properties using B tool and with respect to liveness properties using the Spin tool. The semantic compatibility between Spin processes and B systems is used as a basis for the translation from one framework to the other. We show through this study that for some B systems, the Spin tool is well adapted for complementary analysis. The study combines on an example of concurrent system, refinement techniques, verification by theorem proving and model checking." @default.
- W2139368337 created "2016-06-24" @default.
- W2139368337 creator A5091558153 @default.
- W2139368337 date "2004-09-08" @default.
- W2139368337 modified "2023-09-26" @default.
- W2139368337 title "A mechanically proved development combining B abstract systems and Spin" @default.
- W2139368337 cites W1500568161 @default.
- W2139368337 cites W1503887377 @default.
- W2139368337 cites W1539432158 @default.
- W2139368337 cites W1543208154 @default.
- W2139368337 cites W1555745065 @default.
- W2139368337 cites W1568594638 @default.
- W2139368337 cites W1575221187 @default.
- W2139368337 cites W1606860058 @default.
- W2139368337 cites W1607540445 @default.
- W2139368337 cites W1607782211 @default.
- W2139368337 cites W1995450284 @default.
- W2139368337 cites W2043279475 @default.
- W2139368337 cites W2066210260 @default.
- W2139368337 cites W2110425399 @default.
- W2139368337 cites W2115309705 @default.
- W2139368337 cites W2126509366 @default.
- W2139368337 cites W2144690539 @default.
- W2139368337 cites W2164989576 @default.
- W2139368337 cites W9632921 @default.
- W2139368337 cites W3185910042 @default.
- W2139368337 doi "https://doi.org/10.1109/qsic.2004.3" @default.
- W2139368337 hasPublicationYear "2004" @default.
- W2139368337 type Work @default.
- W2139368337 sameAs 2139368337 @default.
- W2139368337 citedByCount "2" @default.
- W2139368337 crossrefType "proceedings-article" @default.
- W2139368337 hasAuthorship W2139368337A5091558153 @default.
- W2139368337 hasConcept C104317684 @default.
- W2139368337 hasConcept C105580179 @default.
- W2139368337 hasConcept C110251889 @default.
- W2139368337 hasConcept C111498074 @default.
- W2139368337 hasConcept C11413529 @default.
- W2139368337 hasConcept C149364088 @default.
- W2139368337 hasConcept C15569618 @default.
- W2139368337 hasConcept C159985019 @default.
- W2139368337 hasConcept C185592680 @default.
- W2139368337 hasConcept C192562407 @default.
- W2139368337 hasConcept C199360897 @default.
- W2139368337 hasConcept C206880738 @default.
- W2139368337 hasConcept C2778648169 @default.
- W2139368337 hasConcept C41008148 @default.
- W2139368337 hasConcept C55493867 @default.
- W2139368337 hasConcept C80444323 @default.
- W2139368337 hasConceptScore W2139368337C104317684 @default.
- W2139368337 hasConceptScore W2139368337C105580179 @default.
- W2139368337 hasConceptScore W2139368337C110251889 @default.
- W2139368337 hasConceptScore W2139368337C111498074 @default.
- W2139368337 hasConceptScore W2139368337C11413529 @default.
- W2139368337 hasConceptScore W2139368337C149364088 @default.
- W2139368337 hasConceptScore W2139368337C15569618 @default.
- W2139368337 hasConceptScore W2139368337C159985019 @default.
- W2139368337 hasConceptScore W2139368337C185592680 @default.
- W2139368337 hasConceptScore W2139368337C192562407 @default.
- W2139368337 hasConceptScore W2139368337C199360897 @default.
- W2139368337 hasConceptScore W2139368337C206880738 @default.
- W2139368337 hasConceptScore W2139368337C2778648169 @default.
- W2139368337 hasConceptScore W2139368337C41008148 @default.
- W2139368337 hasConceptScore W2139368337C55493867 @default.
- W2139368337 hasConceptScore W2139368337C80444323 @default.
- W2139368337 hasLocation W21393683371 @default.
- W2139368337 hasOpenAccess W2139368337 @default.
- W2139368337 hasPrimaryLocation W21393683371 @default.
- W2139368337 hasRelatedWork W1487860092 @default.
- W2139368337 hasRelatedWork W1492386238 @default.
- W2139368337 hasRelatedWork W1504525241 @default.
- W2139368337 hasRelatedWork W1517789463 @default.
- W2139368337 hasRelatedWork W1573229708 @default.
- W2139368337 hasRelatedWork W176467578 @default.
- W2139368337 hasRelatedWork W1996926131 @default.
- W2139368337 hasRelatedWork W2010404330 @default.
- W2139368337 hasRelatedWork W2045299450 @default.
- W2139368337 hasRelatedWork W2054875673 @default.
- W2139368337 hasRelatedWork W2080987629 @default.
- W2139368337 hasRelatedWork W2105134672 @default.
- W2139368337 hasRelatedWork W2109337044 @default.
- W2139368337 hasRelatedWork W2126407141 @default.
- W2139368337 hasRelatedWork W2136208798 @default.
- W2139368337 hasRelatedWork W2151415035 @default.
- W2139368337 hasRelatedWork W2386892903 @default.
- W2139368337 hasRelatedWork W2487509351 @default.
- W2139368337 hasRelatedWork W2515900217 @default.
- W2139368337 hasRelatedWork W90280056 @default.
- W2139368337 isParatext "false" @default.
- W2139368337 isRetracted "false" @default.
- W2139368337 magId "2139368337" @default.
- W2139368337 workType "article" @default.