Statements (29)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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/
|
https://www.w3.org/2000/01/rdf-schema#label |
Event-B
|
gptkbp:introducedIn |
1996
|
gptkbp:publishedIn |
The B-Book
|
gptkbp:relatedTo |
gptkb:B-Method
|
gptkbp:supports |
refinement
proof-based development |
gptkbp:usedFor |
gptkb:technical_specification
system-level modeling hardware specification |
gptkbp:usedIn |
embedded systems
safety-critical systems |
gptkbp:uses |
Rodin Platform
|
gptkbp:bfsParent |
gptkb:ProB
gptkb:B-Method |
gptkbp:bfsLayer |
7
|