赵哲;张业迪;陈广科;宋，傅;陈、陶璐;刘嘉祥 CLEVEREST公司：通过对抗性攻击加速基于CEGAR的神经网络验证。 （英语） Zbl 1524.68328号 Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 449-473 (2022).MSC公司：2017年10月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhao}等人，Lect。注释计算。科学。13790449--473（2022年；Zbl 1524.68328） 全文： 内政部
宋，傅 使用堆栈操作分析下推系统。 （英语） Zbl 1388.68187号 Inf.计算。 259，第1部分，41-71（2018）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}，信息计算。259，第1部分，41--71（2018；Zbl 1388.68187） 全文： 内政部
宋，傅;吴志林 关于数据变量量化的时序逻辑：可判定性和复杂性。 （英语） Zbl 1353.68181号 Inf.计算。 251, 104-139 (2016).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu}，Inf.Comput。251104-139（2016年；兹bl 1353.68181） 全文： 内政部
宋，傅;泰瑟·图利 模型检查动态下推网络。 （英语） Zbl 1332.68142号 正式Asp。计算。 第2期第27页，第397-421页（2015年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{T.Touili}，正式Asp。计算。27，编号2397-421（2015；兹bl 1332.68142） 全文： 内政部