卡格默尔

此软件的关键字
zbMATH参考文献(参考
44篇文章
Abrahamsson,Oskar:高阶逻辑的验证检查器(2020) Abrahamsson,Oskar;Ho,Son;Kanabar,Hrutvik;Kumar,Ramana;Myreen,Magnus O.;Norrish,Michael;Tan,Yong Kiam:从单体霍尔函数合成CakeML的制样(2020年) Lammich,Peter:有效验证(UN)SAT证书检查(2020年) 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿里亚;皮恩特卡,布里吉特;莫米利亚诺,阿尔伯托;施卡弗,史蒂文;斯塔克,凯瑟琳:波普尔马克重新加载:逻辑关系的机械化证明(2019年) Brown,Chad E.;Gauthier,Thibault;Kaliszyk,Cezary;Sutcliffe,Geoff;Urban,Josef:GRUNGE:a grand unified ATP challenge(2019年) Daniel Stoffen,2019年《与操作语义学的弱同步》;Daniel Steffen,2019;与操作记忆同步;Daniel Steffen,2019) Kiam Tan,Yong;Myreen,Magnus O.;Kumar,Ramana;Fox,Anthony;Owens,Scott;Norrish,Michael:验证过的CakeML编译器后端(2019年) Nipkow,Tobias;Brinkop,Hauke:摊销复杂度验证(2019年) Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年) Adam Sandberg Ericsson,Adam;Myreen,Magnus O.;Åman Pohjola,Johannes:CakeML的验证代垃圾收集器(2019) Avigad,Jeremy(编辑);Blanchette,Jasmin Christian(编辑);Klein,Gerwin(编辑);Paulson,Lawrence(编辑);Popescu,Andrei(编辑);Sneling,Gregor(编辑):“交互定理证明中的里程碑”简介(2018) Bauereiß,Thomas;Pesenti Gritti,Armando;Popescu,Andrei;Raimondi,Franco:CoSMed:a Secretified verified social media platform(2018年) Ho,Son;Abrahamsson,Oskar;Kumar,Ramana;Myreen,Magnus O.;Tan,Yong Kiam;Norrish,Michael:从单体HOL函数出发,通过I/O和局部状态合成cakeml的证明性合成(2018年) Hupel,Lars;Nipkow,Tobias:从Isabelle/HOL到CakeML的验证编译器(2018) Immler,Fabian:验证的ODE解算器和Lorenz吸引子(2018) Simon Jantsch;Norrish,Michael:通过非常弱的交替自动机验证LTL到Büchi自动机的翻译(2018) Kumar,Ramana;Mullen,Eric;Tatlock,Zachary;Myreen,Magnus O.:ITP软件验证应使用二进制代码提取来减少TCB(短文)(2018年) Lochbihler,Andreas:使用经过验证的编译器实现多线程Java的类型安全模型(2018) 2018年《伊莎贝尔与机器》杂志 Lopez Hernandez,Julio Cesar;Korovin,Konstantin:大型理论推理的抽象精化框架(2018)