权杖

编程和验证组件集成。我们称之为SCELlight的核心语言SCEL的一个简化版本被引入,作为编程和验证所谓网络物理系统属性的形式主义,该系统由软件密集型组件组合组成,具有与人类和其他系统复杂的交互和交互作用。为了验证语言对验证目的的适应性,我们提供了一个SCELlight规范到Promela的翻译。我们通过正式指定一个应用场景来测试该方法的可行性,该场景由一组提供满足不同质量级别的服务的组件组成,并使用SPIN来验证某些期望的行为得到了保证。

此软件的关键字

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