Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113457250> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2113457250 endingPage "1084" @default.
- W2113457250 startingPage "1065" @default.
- W2113457250 abstract "The B-method, as well as its offspring Event-B, are both formal methods used for the development of critical computer systems whose correctness has to be formally established. Event-B now spurs the RODIN platform, which is based on Eclipse and can be extended via plug-ins. In this paper, we present two such plug-ins; one for animation and one for interactive proof support, called a disprover. Both plug-ins are based on the PROB tool as well as a translation of Event-B to classical B. With our new plug-ins, RODIN has now become a platform where a user can animate, prove, disprove formal models in an integrated fashion. MOTS-CLES : Event-B, Methode B, Model-Checking, Animation, Preuve Automatique, RODIN," @default.
- W2113457250 created "2016-06-24" @default.
- W2113457250 creator A5026199541 @default.
- W2113457250 creator A5037837284 @default.
- W2113457250 creator A5058847017 @default.
- W2113457250 creator A5084872145 @default.
- W2113457250 date "2008-10-30" @default.
- W2113457250 modified "2023-10-05" @default.
- W2113457250 title "La validation de modèles Event-B avec le plug-in ProB pour RODIN" @default.
- W2113457250 cites W1491364274 @default.
- W2113457250 cites W1519503479 @default.
- W2113457250 cites W1524626343 @default.
- W2113457250 cites W1539606702 @default.
- W2113457250 cites W1544621933 @default.
- W2113457250 cites W1545930910 @default.
- W2113457250 cites W1556500444 @default.
- W2113457250 cites W1559870885 @default.
- W2113457250 cites W1563841124 @default.
- W2113457250 cites W1575221187 @default.
- W2113457250 cites W1598338394 @default.
- W2113457250 cites W1659048632 @default.
- W2113457250 cites W2060440626 @default.
- W2113457250 cites W2101126217 @default.
- W2113457250 cites W2115961907 @default.
- W2113457250 cites W2119518818 @default.
- W2113457250 cites W2134495021 @default.
- W2113457250 cites W2913459036 @default.
- W2113457250 cites W34819657 @default.
- W2113457250 cites W82153035 @default.
- W2113457250 doi "https://doi.org/10.3166/tsi.27.1065-1084" @default.
- W2113457250 hasPublicationYear "2008" @default.
- W2113457250 type Work @default.
- W2113457250 sameAs 2113457250 @default.
- W2113457250 citedByCount "12" @default.
- W2113457250 countsByYear W21134572502013 @default.
- W2113457250 countsByYear W21134572502014 @default.
- W2113457250 countsByYear W21134572502017 @default.
- W2113457250 countsByYear W21134572502021 @default.
- W2113457250 crossrefType "journal-article" @default.
- W2113457250 hasAuthorship W2113457250A5026199541 @default.
- W2113457250 hasAuthorship W2113457250A5037837284 @default.
- W2113457250 hasAuthorship W2113457250A5058847017 @default.
- W2113457250 hasAuthorship W2113457250A5084872145 @default.
- W2113457250 hasConcept C121332964 @default.
- W2113457250 hasConcept C2779662365 @default.
- W2113457250 hasConcept C62520636 @default.
- W2113457250 hasConceptScore W2113457250C121332964 @default.
- W2113457250 hasConceptScore W2113457250C2779662365 @default.
- W2113457250 hasConceptScore W2113457250C62520636 @default.
- W2113457250 hasIssue "8" @default.
- W2113457250 hasLocation W21134572501 @default.
- W2113457250 hasOpenAccess W2113457250 @default.
- W2113457250 hasPrimaryLocation W21134572501 @default.
- W2113457250 hasRelatedWork W1182684176 @default.
- W2113457250 hasRelatedWork W192918227 @default.
- W2113457250 hasRelatedWork W2043727559 @default.
- W2113457250 hasRelatedWork W2782606814 @default.
- W2113457250 hasRelatedWork W2810433436 @default.
- W2113457250 hasRelatedWork W3176972442 @default.
- W2113457250 hasRelatedWork W3183539093 @default.
- W2113457250 hasRelatedWork W4200284277 @default.
- W2113457250 hasRelatedWork W4376623368 @default.
- W2113457250 hasRelatedWork W4386768751 @default.
- W2113457250 hasVolume "27" @default.
- W2113457250 isParatext "false" @default.
- W2113457250 isRetracted "false" @default.
- W2113457250 magId "2113457250" @default.
- W2113457250 workType "article" @default.