• SLMC公司

  • 引用71篇文章[sw04604]
  • 针对安全性、活性和结构性的微积分系统属性在空间逻辑中表示为并发。。。最广泛使用的检查技术世俗的 属性软件系统。然而,当分析。。。
  • PDDL

  • 引用92篇文章[sw07079]
  • 能够表达的造型语言世俗的和数字属性规划领域。在本文中。。。
  • 比查姆

  • 引用了43篇文章[sw09927]
  • 基于逻辑的语言形式化世俗的 属性一个生物系统和验证模型。。。高维动力学参数世俗的逻辑约束。Biocham是一个受保护的自由软件。。。
  • 棱镜

  • 引用416篇文章[sw01186]
  • 系统与概率中编写的规范世俗的逻辑PCTL和CSL。该工具的特点是。。。概率终止、性能和服务质量属性对于一系列系统,包括随机。。。
  • 参数

  • 在14篇文章中引用[sw09669]
  • 马尔可夫链(PMCs)。PARAM可以计算世俗的 属性预防性维修检查与保养的某些扩展。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 用户提供属性制定于世俗的逻辑。JPAX还可以分析程序。。。
  • SMV公司

  • 引用13篇文章[sw04135]
  • 允许丰富的类世俗的 属性,包括安全、活力、公平和死锁自由。。。
  • 金额

  • 参考12篇文章[sw38045]
  • 财产-基于模拟系统的监控工具。在本文中。。。描述AMT,一种监控工具世俗的 属性连续信号。我们首先介绍Stl/Psl。。。标准语言Psl与实时性世俗的逻辑Mitl,用允许。。。实值变量。工具会自动生成财产来自Stl/Psl规范的观察者和检查。。。
  • BPEL2oWFN公司

  • 引用28篇文章[sw06956]
  • 其它Petri网财产,或检查任何世俗的具有多种模型的逻辑公式。。。
  • 流氓

  • 在10篇文章中引用[sw15042]
  • 指定系统的图形用户界面属性简单的Büchi字自动机。第二。。。系统的结构综合世俗的 属性. 这些新功能及其无缝集成。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • Bandera工具设置为模型检查属性并发Java软件。班德拉工具。。。Bandera的软件需求形式化世俗的规范语言,它生成一个程序模型。。。将程序模型自定义为财产正在检查。当模型检查器生成。。。
  • 火花-T

  • 引用2篇文章[sw25422]
  • 世俗的 属性在Sparkle-T中被证明是干净的程序。在纯功能语言中。。。抽象对象”。对于这个抽象对象世俗的 属性(例如不变量)可以公式化并证明。。。定义和证明世俗的 属性用纯函数编写的程序。。。扩展以支持对象抽象世俗的 属性以及一种新形式的定理。。。
  • 罗佛根

  • 引用13篇文章[sw10954]
  • 微分方程模型,动力学属性以线性表示世俗的逻辑和不确定参数。。。问题:鲁棒性分析:检查财产每个参数都能满足。。。
  • 阿斯梅塔斯姆夫

  • 引用3篇文章【sw16843】
  • 模型检查器NuSMV验证属性用AsmetaL语言编写的ASM模型。。。使用AsmetaSMV验证的结果世俗的 属性各种不同特点的案例研究。。。
  • 洛-J

  • 引用3篇文章[sw32260]
  • 世俗的Java5应用程序中的断言。世俗的 属性(见下文)可以使用。。。
  • VERIFAS公司

  • 引用3篇文章[sw33292]
  • VERIFAS在数秒的线性时间内进行验证世俗的 属性在真实世界和合成的工作流中。。。
  • Nat2测试

  • 引用3篇文章[sw16844号]
  • 可以考虑离散或连续世俗的 属性. 自动化对这项任务至关重要,因为。。。
  • 佩索阿

  • 参考第19条[sw20123]
  • 线性的世俗的足以表达有趣的逻辑属性但很简单。。。