基本实数

基本REAL:分布式系统设计、规范和验证的集成方法。本文提出了一种分布式系统设计、规范和验证的三级集成方法。该方法基于一种新设计的规范语言Basic REAL(bREAL),包括(I)将分布式系统的高级设计转换为bREAL的执行规范,(II)将分布式系统的高级属性表示为bREAL的逻辑规范,(III)面向问题的组合演绎推理与模型检查相结合。本文介绍了bREAL在形式和非正式两个层次上的语法和语义,该语言的一些元属性(即结巴不变性和交错并发性)、证明原则和进程属性的模型检验。文中还介绍了一个示例(乘客和自动售货机)。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Nepomnyashchij,V.A.;Shilov,N.V.;Bodin,E.V.:由基本实规范表示的分布式系统的形式语义和验证(1997)