洛拉

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


zbMATH参考文献(参考 25篇文章 引用)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. Alpernas,Kalev;Panda,Aurojit;Rabinovich,Alexander;Sagiv,Mooly;Shenker,Scott;Shoham,Sharon;Velner,Yaron:状态网络验证的一些复杂性结果(2019年)
  2. Bønneland,Frederik M.;Dyhr,Jakob;Jensen,Peter G.;Johannsen,Mads;Srba,Jiří:Petri网的顽固与结构缩减(2019)
  3. Finkbeiner,Bernd;Gieseking,Manuel;Hecking Harbusch,Jesko;Olderog,Ernst-Rüdiger:并发网络更新中的模型检查数据流(2019年)
  4. Garavel,Hubert:嵌套单元Petri网(2019)
  5. Hlomozda,D.K.;Glybovets,M.M.;Maksymets,O.M.:自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网(2018年)
  6. 曼努埃尔·克莱维尔;弗朗西斯科的杜兰;史蒂文的埃克尔;圣地亚哥的埃斯科巴;帕特里克的林肯;纳西索的马蒂奥利特;卡罗琳的塔尔科特:莫德的二十年(2015年)
  7. 董金松;刘,杨;孙军;张,娴:面向计算编排的验证(2014)
  8. Evangelista,Sami;Kristensen,Lars Michael:使用扫描线法进行混合动态LTL模型检查(2012年)
  9. Jensen,Kurt;Kristensen,Lars M.;Mailund,Thomas:扫描线状态空间探索方法(2012)
  10. Lapadula,A.;Pugliese,R.;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011)
  11. Kristensen,L.M.;Schmidt,K.;Valmari,A.:状态属性的问题引导顽固集方法(2006)
  12. Schmidt,Karsten:扫描线法进度测量的自动生成(2006)IO端口
  13. Comet,Jean-Paul;Klaudel,Hanna;Liauzu,Stéphane:使用高级Petri网建模多值遗传调节网络(2005)
  14. Reisig,Wolfgang;Schmidt,Karsten;Stahl,Christian:KommunizierendWorkflow services Modellien und analysieren(2005年)IO端口
  15. Junttila,Tommi A.:位置/过渡网络的新规范代表性标记算法(2004)
  16. Kristensen,Lars Michael;Christensen,Søren:使用函数式编程语言实现有色Petri网(2004)
  17. 斯滕-斯滕自动测量法
  18. Dehnert,Juliane:迈向健全业务流程模型的四个步骤(2003)
  19. 施密特,卡斯滕:在状态空间构造中使用Petri网不变量(2003)
  20. Dehnert,Juliane:表达工作流过程可控性的非可控选择稳健性(2002)