洛拉

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


zbMATH中的参考文献(参考文献26条)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 卡列夫,阿尔卑斯;熊猫、金牛;拉比诺维奇,亚历山大;射手座,情绪低落;史考特,申克;肖汉,莎伦;Velner,Yaron:状态网络验证的一些复杂性结果(2019)
  2. Bønneland,弗雷德里克M。;迪尔,雅各布;詹森,彼得G。;约翰森,Mads;Srba,Jiří:Petri网的顽固与结构约化(2019)
  3. 芬克贝纳,伯纳德;吉塞金,曼纽尔;赫金哈布施,耶斯科;Olderog,Ernst-Rüdiger:并发网络更新中的模型检查数据流(2019)
  4. Garavel,Hubert:嵌套单元Petri网(2019)
  5. 赫洛莫兹达,D。K、 。;格雷博茨,M。M、 。;马克西梅茨,O。M、 :自动将带定性标记的有色Petri网转换为带定量标记的有色Petri网(2018)
  6. 詹森,彼得·居尔;拉森,金·古德斯兰德;Srba,Jiří:通过前缀共享压缩和存储集合的数据结构(2017)
  7. 克莱维尔,曼纽尔;杜兰,旧金山;埃克,史蒂文;圣地亚哥埃斯科巴;林肯,帕特里克;玛蒂奥利特,纳西索;塔尔科特,卡罗琳:《莫德二十年》(2015)
  8. 董金松;刘、杨;孙军;张显:走向计算编排的验证(2014)
  9. 福音派,萨米人;Kristensen,Lars Michael:用扫描线法检查混合动力LTL模型(2012)
  10. 詹森,库尔特;克里斯滕森,拉尔斯·M。;Mailund,Thomas:扫描线状态空间探索方法(2012)
  11. 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011)
  12. 克里斯滕森,L。M、 。;施密特,K。;Valmari,A.:状态属性的问题引导顽固集方法(2006)
  13. Schmidt,Karsten:扫描线法进度测量的自动生成(2006)ioport公司
  14. 彗星,让保罗;克劳代尔,汉娜;Liauzu,Stéphane:使用高级Petri网建模多值遗传调节网络(2005)
  15. 莱希格,沃尔夫冈;施密特,卡斯滕;Stahl,Christian:Kommunizierende工作流服务建模与分析(2005)ioport公司
  16. Junttila,Tommi A.:位置/过渡网络的新规范代表性标记算法(2004)
  17. 克里斯滕森,拉尔斯·迈克尔;克里斯滕森,瑟伦:用函数式编程语言实现有色Petri网(2004)
  18. Schmidt,Karsten:扫描线法进度测量的自动生成(2004)
  19. Dehnert,Juliane:迈向健全业务流程模型的四个步骤(2003)
  20. 施密特,卡斯滕:在状态空间构造中使用Petri网不变量(2003)