首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 分布式有界模型检验多代理系统

分布式有界模型检验多代理系统

  • 资源大小:2.46 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:0次
  • 资源积分:1积分
  • 标      签: 分布式 系统 模型 检验

资 源 简 介

An extension to the model checker of multi-agent systems MCMAS http://www-lai.doc.ic.ac.uk/mcmas to support distributed bounded model checking.

文 件 列 表

VerICS_Comparison
Train_Train_Controller.ispl
VerICS_Formulae.txt
VerICS_Generator.rb
VIP VIP
0.184451s