MCMAS-C Model Checker

相关软件

• 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系统是一种需要在异构设备之间进行通信，并使用不同类型的模式建立用户与应用程序之间的通信。