利米 swMATH ID: 20206 软件作者： 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列奥尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 描述： 语言包含模独立性。Limi（Language Inclusion Modulo Independence）是一个实现基本反链算法模独立关系的模板库。该库接受两个非确定性有限自动机（NFA）A和B作为输入，它们具有共享的字母表和字母表符号上的独立关系I。独立关系决定了两个符号是否独立。如果语言的两个字符串在交换独立符号时是相同的，则它们是等效的模块独立性。在我们的论文[1]中给出了形式化的定义。[1] Pavol Cerny、Edmund M.Clarke、Thomas A.Henzinger、Arjun Radhakrishna、Leonid Ryzhyk、Roopsha Samanta、Thorsten Tarrach。使用同步合成从非抢占调度到抢占调度。2015年CAV 主页： http://www.tarrach.eu/Limi/ 相关软件： 利斯；CBMC公司；SymDiff公司；开普勒98；投掷；N模型；UMDES公司；CESAR公司；jSpin公司；自旋蛋白；伊莎贝尔/HOL；Coq公司；github；反链；ConRepair公司 引用于： 4文件 全部的 前5名11位作者引用 三 克拉克（Edmund Melson jun Clarke）。 三 托马斯·亨辛格（Thomas A.Henzinger）。 2 乔恩，帕沃 2 阿琼·拉德哈克利什纳 2 列奥尼德·雷日克 2 萨曼塔（Samanta，Roopsha） 2 托尔斯滕·塔拉赫 1 艾哈迈德·博阿贾尼 1 康斯坦丁埃纳 1 Shuvendu Kumar拉希里 1 赫尔穆特·维思 连载1篇 2 系统设计中的形式化方法 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文