MCMAS-SC model checker

相关软件

• CHLone 免费

  CHLone 捆绑包是 SIDS 到 HDF5 的符合 CGNS/SIDS 标准的映射应用，包含 3 个用于应用程序开发的接口级别。这些是：- C1 CGNS/MLL 克隆，与 CGNS/MLL 相同的 API- A2 应用程序 API，基于 SIDS 类型的用户界面- L3 低级库，管理原始 HDF5 节点

• FactotumNOW IAS Reporting 免费试用

  FactotumNow IAS 报告通过可安装在 VPN/IAS 服务器上的引擎导入 IAS/RRAS （微软 VPN） 日志文件。然后，IAS（®互联网身份验证服务）统计信息每两分钟自动更新一次。可以通过舒适的控制台查看报告，并导出到 Microsoft Excel（如果已安装）。报表查看器可以直接从网络上的任何桌面或 IAS/RRAS 服务器上远程运行。FactotumNOW IAS 报告允许您立即查看： - 共享 IP 的用户 - 用户的来

• Flash-Creator 免费试用

  Flash Creator 是一个快速且令人耳目一新的易于使用的工具，用于创建动画 Flash 徽标、横幅、简介、标题和任何其他您能想像开箱即用的工具。它为您提供了一个点击式设计环境，允许任何人，无论Flash技术的创造力和知识如何，将文本、矢量对象和图像混合到引人入胜的Flash动画中，让您的网站具有专业的外观。Flash Creator 的动画具有非常小的文件大小，只有 10-20 Kb，并且不需要很长时间才能在网页上加载。Flash

• SAW (Small Artificial World) 免费

  SAW（小人工世界）是自然进化的模拟。世界上有许多人工生物，它们可以相互交流，进行生存之战。采用遗传算法和神经网络。生物学是一种灵感。

• evids video intrusion detection system 免费

  Evids 是一个视频入侵检测客户端/服务器系统。自动化监控软件提供对传入视频的全职监控信号。此外，Evids 是一个免费的开源项目，在很多板形式。

• Accessibility plugins for Liferay 免费

  此 projet 的目的是提供一组扩展（插件），以增强 Liferay 门户上的可访问性体验。

• SynchroJet 免费试用

  SynchroJet 是一个易于使用的备份和同步实用程序，可与本地源、LAN、FTP/SSL 一起使用。借助 SynchroJet，您可以轻松地使所有重要文件在服务器、台式机、笔记本电脑、LAN、FTP 等之间保持同步。SynchroJet 同步是备份重要数据的优秀安全措施，为用户提供了在出现任何服务器问题时继续在本地工作的选项。SynchroJet 具有灵活的过滤系统，仅可保持所需的文件同步。它只同步自上次同步以来已创建、更改或删除的文件

• ControlK 免费

  这是一个非常简单的插件为JEdit。它添加 Eclipse control-K 功能，即：查找所选文本的下一个匹配项。

• emulare 免费

  埃穆拉是一个阿杜伊诺模拟器。它允许您在仿真中运行 arduino 程序。它完全支持阿尔杜伊诺杜米拉诺夫内的所有设备。它有一个用于调试的 GDB 接口。它有一个完整的图形界面，以帮助测试。

• Music Shuffling 免费

  .net 3.5 应用程序，允许用户在 ipod 或其他设备中随机播放音乐。完整的功能与选择随机文件，也洗牌每个文件。