×

犯罪现场调查

swMATH ID: 9767
软件作者: 哈拉尔德·赞克;费尔根豪尔(Felgenhauer),伯特伦(Bertram);阿尔特·米德尔多普
描述: CSI-汇流工具。本文描述了一种新的术语重写系统汇流工具。由于其模块化设计,迄今为止实现的少数技术可以灵活组合。为终止分析开发的方法适用于证明和反驳合流。初步实验结果显示了我们工具的潜力。
主页: http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_38
关键词: 项重写;汇流;自动化
相关软件: 塞加瓦;CeTA公司;蒂罗尔(Tyrolean);存档正式证据;伊莎贝尔/HOL;CiME公司;CoLL公司;伊莎贝尔;条件合流;CoLoR公司;OBJ咖啡馆;莫德;OBJ3型;CRC 3号机组;AProVE公司;StarExec公司;ACL2型;减少图表;FOL配件;MONA公司
引用于: 23文件

按年份列出的引文