• ASASP

  • 4篇参考文献[SW06350]
  • 行政的 访问 控制装置 政策. 工具代表访问 政策及其行政的行动作为公式…求解的符号可达性过程安防 分析问题。检查定点减少到可满足性…分析在(扩展)中出现的基准问题角色-基于 访问 控制装置模型
  • RBAC-PAT

  • 3篇参考文献[SW0782]
  • 角色-基于 访问 控制装置(RBAC)得到了广泛的应用。
  • 合金

  • 29篇参考文献[SW01247 ]
  • 合金:一种新的软件建模技术。合金…
  • TPTP

  • 368篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • MCMT

  • 19篇参考文献[SW11911]
  • Mcmt:模型检查员对理论进行建模。我们描述…