formal methods
事件B
Event-BEvent-B is a formal method for system modeling and verification, particularly suited for the development of critical systems. It extends the B method by focusing on system behavior through events and refinement. / 事件B是一种用于系统建模和验证的形式化方法，特别适用于关键系统的开发。它通过事件和细化来关注系统行为。
- Knowledge type
- 数学理论
- First proposed or discovered
- Proposer
- Turkey Farm member
- Creator
- 农场主
- Last updated
- 2026-11-08 17:06:38
Sub-knowledge points
No connected node yet
Higher-order knowledge points
No connected node yet
Main parameters and performance indicators
No item recorded yet
Open problems
No unresolved problem recorded yet
Related literature
ranked by community starsControl logic verification of safety of the intended functionality for maritime autonomous surface ships based on Event-B: A case of autonomous berthing scenarioOpen source
Related products and links
No item recorded yet
Creation and modification trail
1 recordsRecord title: Event-B.
Node update feedback
review required