帕特丽斯·戈德弗里德;塞·库什克 模型检查和测试相结合。 (英语) Zbl 1392.68250号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。613-649 (2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{K.Sen},in:模型检查手册。查姆:斯普林格。613--649(2018;Zbl 1392.68250) 全文: 内政部
帕特里克·库索特;拉迪亚·库索特;弗朗西斯科·洛戈佐 从间歇断言和应用于集合契约的前提推理。 (英语) Zbl 1317.68030号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,150-168(2011)。MSC公司:68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,Lect。注释计算。科学。6538,150--168(2011;Zbl 1317.68030) 全文: 内政部 链接