MCMAS-C Model Checker
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/mcmas-c/files/MCMAS-C.zip/download
关于 MCMAS-C Model Checker
MCMAS-C 是最著名的型号检查器 MCMAS 的延伸,它用于验证多代理系统。我们的扩展与检查代理可以创造的社会承诺及其履行有关。它是 CTLC 逻辑的模型检查器。
相关软件
-
MConvert - Multiformat Converter 免费
MConvert 是一个开源项目,旨在开发一个用于转换文件的工具。通过使用其他开源工具,MConvert 希望提供广泛的转换文件格式。
-
WinCRC32 免费
WINCRC32 使用 CRC-32 技术检查每个文件,并通知您任何潜在的坏,损坏,大小不正确或丢失的文件,以节省您的下载时间,只发现您有 1 个文件丢失或最后一个文件有一个 CRC 校验和错误。使用标准 SFV 文件完成 CRC 值比较。如果 SFV 文件不可用,可以生成具有计算 CRC 值的新文件。WIN-SFV 兼容。您可以在 SFVfile 中插入创建者和注释。德语和英语版本。
-
Web Pictures Downloader 免费试用
网络图片下载器是一个互联网图片下载器下载图片,照片,图像,JPG,GIF从网络或互联网。它可以访问您最喜爱的网站,同时最多包含 8 个线程。它分析网站的结构,查找图片和照片(JPG,GIF),并下载到您的硬盘,让你看到图片在自己方便以后。它使图片下载一个有趣的任务做。享受您的下载图片之旅与网络图片下载器!{@}
-
A shoot'em up game for the Maemo 免费
一个等轴测拍摄他们的游戏为 Maemo 平台。基本的想法是生成一个游戏,玩家(或玩家)可以生成自己的角色,并互相攻击或电脑控制的敌人。
-
SudokuGenerator in c++ and stl 免费
数独益智发生器,产生数独谜题与给定的难度水平。生成的谜题有一个独特的解决方案,可以解决没有回溯或猜测。该软件使用 stl 的窗口平台以 c++ 编写。
-
Oxygen Basic 免费
压缩的可嵌入 JIT 编译器,用于读取 C 标头并编译为 x86 计算机代码。直接在内存中执行或创建 DLL 和 EXE 文件。支持重载和 OOP。当前可用于 MS 平台。64 位正在进行中
-
Lua Conio 免费
Lua Conio 是 Turbo C conio 的包装器, 用于创建由 Gabriele Secci 开发的文本用户界面。
-
Book Keeper System 免费
使用 Struts + JSTL 和 JDBC 用 Java 编写的简单库管理系统。 使用经典的分层体系结构方法。 目前, Daos 开箱即用 mySql 工作。
-
Counter Strike 1.6 File 免费
tlchargez des fichiers 在融洽 avec le 服务 [Tfs21] 火狐服务器
-
Multimodal Engine Platform 免费
MME系统是一种需要在异构设备之间进行通信,并使用不同类型的模式建立用户与应用程序之间的通信。