洛拉

LoLa:一个低电平分析器。使用LoLA,我们将最近开发的面向状态空间的算法放置到其他工具开发人员的处理中。提供一个简单的接口是一个主要的设计目标,使得尽可能容易地将LoLA集成到不同应用程序域的工具中。LoLA支持位置/过渡网。实现的验证技术涵盖了标准属性(活性、可逆性、有界性、可达性、死过渡、死锁、归属态)以及状态谓词和CTL模型检查的可满足性。对于可满足性,支持穷举搜索和启发式面向目标的系统执行。对于状态空间约简,LoLA特征对称、难集和可覆盖图


ZBMaCT中的参考文献(24篇文章中引用)

显示结果1至20的24。
按年份排序(引文
  1. Alpnas,Kalev;熊猫,Aurojit;Rabinovich,亚力山大;SaGIV,Mooly;Shenker,史葛;肖汉姆,莎伦;Velner,Yalon:有状态网络验证的一些复杂性结果(2019)
  2. B.NNLAND,Frederik M.;DyHR,Jakob;延森,Peter G.;约翰森,MADS;SRBA,Jiyi: Petri网的固结与结构约简(2019)
  3. Garavel,休伯特:嵌套单位Petri网(2019)
  4. Hlomozda,D. K.;Gypevvts,M. M.;MakSyMets,O. M.:用定性令牌将有色Petri网与定性令牌的自动转换成有色Petri网(2018)
  5. 克拉维尔,曼努埃尔;杜兰,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;林肯,帕特里克;Mauli-OLIET,纳西索;Pig,Y:二十年的莫德(2015)
  6. Dong,金松;刘,杨;孙军;张,西安:走向计算编排的验证(2014)
  7. 埃万杰利斯塔,安德烈·萨米;克里斯滕森,Lars Michael:用扫描线法检验LTL模型的混合动力(2012)
  8. 延森,库尔特;克里斯滕森,Lars M.;Melund,托马斯:扫描线状态空间探索方法(2012)
  9. 一种基于WSDL的异步WS- BPEL过程类型系统(2011)
  10. 克里斯滕森,L. M.;施密特,K.;ValMARI,A:问题导向的状态属性的顽固集方法(2006)
  11. 施密特,KARSTEN:自动生成扫描线方法的进展量度(2006)伊波尔特
  12. 彗星,Jean Paul;Klaudel,汉娜;Liauzu,StEpPHAN:利用高级Petri网对多值遗传调控网络进行建模(2005)
  13. 赖西格,沃尔夫冈;施密特,卡斯滕;斯塔尔,克里斯蒂安:KuluZieReNDEE工作流服务模型伊波尔特
  14. Junttila,Tommi A.:位置/过渡网络的新的典型代表性标记算法(2004)
  15. 克里斯滕森、Lars Michael、克里斯坦森、S·任:用函数编程语言实现有色Petri网(2004)
  16. 施密特,KARSTEN:自动生成扫描线方法的进展量度(2004)
  17. Dehnert,Juliane:完善业务流程模型的四个步骤(2003)
  18. 施密特,KARSTEN:状态空间构造中的Petri网不变量(2003)
  19. Dehnert,Juliane:表示工作流过程可控性的非可控选择鲁棒性(2002)
  20. 马尔科,玛丽亚:代数系统网的模块可达性分析器(2002)