• 丽贝卡

  • 引用8篇文章[sw09422]
  • 丽贝卡是个演员-基于有正式基础的语言建模并发和分布式。。。
  • 雷贝卡

  • 1条引用[sw29269]
  • 雷贝卡是一个演员-基于 建模语言是丽贝卡的延伸建模...
  • 阿克卡普洛夫

  • 引用2篇文章[sw18422]
  • 框架提供并发性基于演员 模型. 演员Java库。。。框架。不幸的是,尽管演员库,尤其是Akka,现有的分析工具。。。Akka仿形工具演员. AkkaProf提供了关于演员利用。。。在他们之间,有两个基本方面演员-基于其他探查器忽略的应用程序。。。
  • 旋转

  • 引用716篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 帕穆德

  • 引用了30篇文章[sw08422]
  • 普穆德:重写-基于概率对象规范语言。。。
  • 西科

  • 引用2篇文章[sw21210]
  • SYCO:一个并发对象的系统测试工具。。。
  • 食蚁兽

  • 引用4篇文章[sw32373]
  • 食蚁兽是一个工具,可以检测网络漏洞。。。
  • 引用2篇文章[sw34182]
  • 快:A模型检查软件定义的网络。。。