选择4

此软件的关键字
zbMATH中的参考文献(参考
80篇文章
引用, 1标准件 )
Perez,Ivan;Goodloe,Alwyn E.:容错函数式反应式编程(扩展版)(2020) 希雷达(Hirkleda,2020)正式翻译 Zhang,Xingyuan;Urban,Christian;Wu,Chunhan:优先继承协议被证明是正确的(2020年) Barthe,Gilles;Betarte,Gustavo;Campo,Juan Diego;Luna,Carlos:恒定时间密码的系统级非干扰。 一: 模型(2019) 米勒,戴尔:重温机械化元理论(2019) Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年) Rahli,Vincent;Bickford,Mark;Cohen,Liron;Constable,Robert L.:酒吧归纳法与建构型理论兼容(2019) Straßburger,Lutz:证明身份的问题,以及为什么计算机科学家应该关心Hilbert的第24个问题(2019) Achermann,Reto;Humbel,Lukas;Cock,David;Roscoe,Timothy:《Isabelle/HOL真实硬件的物理寻址》(2018) Alex A.Alemi,Francois Chollet,Niklas Een,Geoffrey Irving,Christian Szegedy,Josef Urban:DeepMath-前提选择的深度序列模型(2018) 阿尔十四 Avigad,Jeremy(编辑);Blanchette,Jasmin Christian(编辑);Klein,Gerwin(编辑);Paulson,Lawrence(编辑);Popescu,Andrei(编辑);Sneling,Gregor(编辑):“交互定理证明中的里程碑”简介(2018) 班切雷克,格尔泽戈尔茨;拜利林斯基,捷克;格拉博夫斯基,亚当;科尼奥维茨,阿图尔;马图斯泽夫斯基,罗曼;诺莫维奇,亚当;Pąk,卡罗尔:米扎尔互动证据开发数学图书馆的作用(2018) Bauereiß,Thomas;Pesenti Gritti,Armando;Popescu,Andrei;Raimondi,Franco:CoSMed:a Secretified verified social media platform(2018年) 陈浩;吴雄楠;邵忠忠;洛克曼,乔舒亚;顾荣辉:面向可中断操作系统内核和设备驱动程序的组合验证(2018) Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文 Nemati,Hamed;Baumann,Christoph;Guanciale,Roberto;Dam,Mads:针对缓存存储侧通道的完整性保护对策的正式验证(2018年) Paulson,Lawrence C.:计算逻辑:它的起源和应用(2018) Syeda,Hira Taqdees;Klein,Gerwin:存在缓存地址转换的程序验证(2018) Aransay,Jesús;Divasón,Jose:线性代数基本定理的形式化及其在最小二乘问题求解中的应用(2017) Guéneau,Armaël;Myreen,Magnus O.;Kumar,Ramana;Norrish,Michael:CakeML的验证特征公式(2017)