文件名称:
使用UPPAAL进行模型检查：这是INSE 6250的课程项目。它专注于开发模型并使用任何模型检查器工具检查正确性-源码
开发工具:
文件大小: 27mb
下载次数: 0
上传时间: 2021-02-21
详细说明：INSE 6250-软件质量方法论（2020年冬季）
教授：贾马尔·本塔哈（Jamal Bentahar）
项目详情：
主题：使用UPPAAL进行模型检查。
将开发的模型：蒙特利尔地铁上基于Web的售票机。
模型检查器工具： UPPAAL [ ]
为了检查此模型的有效性，我想使用UPPAAL模型检查器，它是用于实时系统建模，验证和验证的集成工具环境。
抽象的
售票机是一种售票机，可生产纸质或电子票或为储值卡或智能卡或用户的移动钱包充值，通常在智能手机上。 例如，售票机在火车站分配火车票，在地铁站分配公交车票，在某些电车站提供电车票。 典型的交易由用户使用显示界面来选择票证的类型和数量，然后选择现金，信用卡/借记卡或智能卡的付款方式。 然后将票证打印在纸上并分发给用户，或将其加载到用户的智能卡或智能手机上。 自1920年代末以来，便开始使用自动售票机，以带来许多好处。 还有一些缺点
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
