首页> 外文期刊>Software Testing, Verification and Reliability >Efficient model checking of properties of a distributed application: a multimedia case study
【24h】

Efficient model checking of properties of a distributed application: a multimedia case study

机译:分布式应用程序属性的有效模型检查:多媒体案例研究

获取原文
获取原文并翻译 | 示例

摘要

A system supporting video on demand is modeled in the process calculus CCS (Calculus of Communicating Systems), while some properties are expressed in a temporal logic and verified by means of the model checkers of the North Carolina Concurrency Workbench. This application was chosen as a case study to evaluate the usefulness of a methodology, by means of which a property is checked on reduced models obtained issuing abstractions of the system on the basis of the formula. Experimental results are shown and discussed. Copyright © 2001 John Wiley & Sons, Ltd.
机译:在过程演算CCS(通信系统演算)中对支持点播视频的系统进行了建模,同时一些属性以时间逻辑表示,并通过北卡罗莱纳州并发工作台的模型检查器进行了验证。选择该应用程序作为案例研究,以评估一种方法的有效性,通过该方法,可以对基于公式发布系统抽象的简化模型检查属性。显示并讨论了实验结果。版权所有©2001 John Wiley&Sons,Ltd.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号