Event-B

GPTKB entity

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