视觉状态

大型状态/事件系统的组合性和依赖性分析状态/事件模型是用于描述嵌入式反应系统的Mealy机器的并发版本。本文介绍了一种利用组合性和依赖性分析来显著提高状态/事件模型符号模型检查效率的技术。它使大型工业设计的自动化验证成为可能，只需使用少量的资源（对于1421台并发计算机，在标准PC上不到5分钟）。论文的结果将在商业工具visualSTATE的下一个版本中实现。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献，1标准件)

显示第1到第9个结果，共9个。
按年份排序(引用)

  1. Kolchin，A.V.：动态构造形式模型状态抽象的自动方法（2010）
  2. Jirovanu，George；Boel，RenéK.；Bordbar，Behzad:部分观察下大型Petri网模型的在线监测（2008）
  3. Larsen，Kim G.；Nyman，Ulrik；Wasowski，Andrzej:使用色盲转换系统建模软件产品线（2007）ioport公司
  4. Giese，Holger；Vilbig，Alexander：软件架构和设计中非正交关注点的分离（2006）ioport公司
  5. Wang，Chao；Bloem，Roderick；Hachtel，Gary D.；Ravi，Kavita；Somenzi，Fabio:语言空虚的成分SCC分析（2006）
  6. Behrmann，G.；Larsen，K.G.；Andersen，H.R.；Hulgaard，H.；Lind Nielsen，J.：使用可重用性和组合性验证分层状态/事件系统（2002）
  7. Lind Nielsen，Jørn；Andersen，Henrik；Hulgaard，Henrik；Behrmann，Gerd；Kristoffersen，Kåre；Larsen，Kim G.：使用组合性和依赖性分析验证大型状态/事件系统（2001）
  8. Sharygina，Natasha；Browne，James C.；Kurshan，Robert P.：软件可靠性的正式面向对象分析：验证设计（2001）
  9. Lind Nielsen，Jørn；Andersen，Henrik Reif:状态/事件系统的逐步CTL模型检查（1999）