Event-B 形式化方法

Event-B 形式化软件开发方法   一、概念 Event-b 是一种基于传统的谓词演算和定理证明的形式化语言。 Event-b 新的特征是它引入了事件（Event）。事件是event-b的一个重要特征，因此它非常适合用来为周期行为建模。除此之外，Event-b支持逐步精化地建立系统模型。   二、使用形式化方法开发软件的过程（理想情况） 形式化方法是一种开发途径，工程师可以按这种途径把软件需求

>>阅读原文<<