布罗德本特，克里斯托弗;Carayol，阿诺;黑格，马修;塞尔，奥利弗 C-SHORe：高阶验证的可折叠方法。（英语） Zbl 1323.68364号 2013年9月25日至27日，美国马萨诸塞州波士顿，第18届ACM SIGPLAN函数式编程国际会议记录，ICFP'13。纽约，纽约：计算机机械协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN公告48，9号，13-24（2013年）。 引用于三文件 理学硕士： 68Q60型 规范和验证（程序逻辑、模型检查等） 68Q45号 形式语言与自动机 关键词：可折叠下推系统;高阶;模型检查;递归方案;验证 软件：C-肖尔;GTRECS2;赫克托;荷马;猛击 PDF格式 双歧杆菌 XML 引用 \textti{C.Broadbent}等人，载：第18届ACM-SIGPLAN函数式编程国际会议论文集，ICFP'13，美国马萨诸塞州波士顿，2013年9月25日至27日。纽约，纽约：计算机机械协会（ACM）。13--24（2013年；Zbl 1323.68364） 全文： 内政部