K工具

此软件的关键字
zbMATH中的参考文献(参考
17篇文章
参考, 2标准条款 )
Ştefănescu,Andrei;Ciob–căStefan;Mereuta,Radu;Moore,Brandon;Roşu,Grigore;Şerbănuṭă,Traian Florin:全路径可达逻辑(2019) Biernacka,Małgorzata;Charatonik,Witold;Jeelinska,Klara:广义重聚焦:从混合策略到抽象机器(2017) Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017) Rocha,Camilo;Meseguer,José;Muñoz,César:重写模块SMT和开放系统分析(2017) Rusu,Vlad;Lucanu,Dorel;Şerbănuţă,Traian Florin;Arusoaie,Andrei;Ştefănescu,Andrei;Roşu,Grigore:语言定义作为重写理论(2016) Arusoaie,Andrei;Lucanu,Dorel;Rusu,Vlad:基于语言转换的符号执行(2015) Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei;Nowak,David:验证重写逻辑规范的可达性逻辑属性(2015) Roşu,Grigore:从重写逻辑到编程语言语义,再到程序验证(2015) Asăvoae,Irina Măriuca;de Boer,Frank;Bonsangue,Marcello M.;Lucanu,Dorel;Rot,Jurriaan:带指针递归程序的有界模型检查(2013) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013) David Lazar;Arusoaie,Andrei;Şerbǎnuţǎ,Traian Florin;Ellison,Chucky;Mereuta,Radu;Lucanu,Dorel;Roşu,Grigore:使用(\mathbbK)工具执行形式语义(2012) ioport公司 Lucanu,Dorel;Şerbănuţă,Traian Florin;Roşu,Grigore:(\mathbbK)框架蒸馏(2012) ioport公司 JoséMeseguer:《重写逻辑的二十年》(2012) 《格里姆塞罗逻辑:重写语义学》2011年版 Roşu,Grigore;Ellison,Chucky;Schulte,Wolfram:匹配逻辑:Hoare/Floyd逻辑的替代品(2011) Simmons,Robert J.;Pfenning,Frank:程序分析的逻辑近似(2011) Chira,Camelia;Şerbănuţă,Traian Florin;Ştefănescu,Gheorghe:P系统与控制核:概念(2010)