Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
formal method
|
gptkbp:basedOn |
gptkb:set_theory
gptkb:first-order_logic |
gptkbp:developedBy |
gptkb:Jean-Raymond_Abrial
|
https://www.w3.org/2000/01/rdf-schema#label |
B-Method
|
gptkbp:publishedIn |
1990s
|
gptkbp:relatedTo |
gptkb:Z_notation
gptkb:Event-B |
gptkbp:supports |
code generation
proof refinement |
gptkbp:usedFor |
software development
system modeling |
gptkbp:usedIn |
aerospace industry
railway industry safety-critical systems |
gptkbp:uses |
gptkb:Atelier_B
gptkb:B-Toolkit |
gptkbp:bfsParent |
gptkb:Z_notation
|
gptkbp:bfsLayer |
6
|