Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_method
|
| gptkbp:basedOn |
gptkb:set_theory
gptkb:first-order_logic |
| gptkbp:containsCommunity |
ABZ Conference
Rodin User Group |
| gptkbp:developedBy |
gptkb:Jean-Raymond_Abrial
|
| gptkbp:documentation |
English
|
| gptkbp:hasFeature |
model checking
stepwise refinement automatic proof event-driven modeling invariant preservation |
| gptkbp:hasStandardNotation |
gptkb:mathematical_concept
|
| gptkbp:hasWebsite |
https://www.event-b.org/
|
| gptkbp:introducedIn |
1996
|
| gptkbp:publishedIn |
The B-Book
|
| gptkbp:relatedTo |
gptkb:B-Method
|
| gptkbp:supports |
refinement
proof-based development |
| gptkbp:usedFor |
gptkb:technical_specification
gptkb:hardware_specification system-level modeling |
| gptkbp:usedIn |
embedded systems
safety-critical systems |
| gptkbp:uses |
Rodin Platform
|
| gptkbp:bfsParent |
gptkb:ProB
gptkb:B-Method |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Event-B
|