INTEGRATION OF SMT-Solver and PATTERN IN: Event-b
暫譯: SMT 解算器與模式在 Event-B 中的整合

Dr Enas El-Sayed El-Sharawy

INTEGRATION OF SMT-Solver and PATTERN IN: Event-b
  • 出版商: CreateSpace Independ
  • 出版日期: 2013-05-20
  • 售價: $800
  • 貴賓價: 9.8 折 $784
  • 語言: 英文
  • 頁數: 56
  • 裝訂: Paperback
  • ISBN: 1489513388
  • ISBN-13: 9781489513380
  • 相關分類: Computer-Science

    • 無法訂購

商品描述

Event-B is a formal method for the system level modeling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based tool set called Rodin. In recent years, Event-B and Rodin have been used to model complex real world systems and also prove consistency properties of them. However, refinement that kind of systems which have difficult proofs is not an easy task, so Event-B design pattern just another model used to the formalization of a typical problem.

商品描述(中文翻譯)

Event-B 是一種用於可靠應用系統級建模和分析的形式化方法。它由一個開放且可擴展的基於 Eclipse 的工具集 Rodin 支持。近年來，Event-B 和 Rodin 被用來建模複雜的現實世界系統，並證明它們的一致性屬性。然而，對於那些具有困難證明的系統進行細化並不是一件容易的任務，因此 Event-B 設計模式僅是用於典型問題形式化的另一種模型。

類似商品