K检验器

此软件的关键字
zbMATH参考文献(41篇文章引用, 1标准件 )
Fava,Daniel S.;Steffen,Martin;Stolz,Volker:具有信道同步的弱内存模型的操作语义(2019) Johansen,Christian;Owe,Olaf:动态结构操作语义(2019) Ştefănescu,Andrei;Ciob–căStefan;Mereuta,Radu;Moore,Brandon;Roşu,Grigore;Şerbănuṭă,Traian Florin:全路径可达逻辑(2019) van Binsbergen,L.Thomas;Mosses,Peter D.;Sculthorpe,Neil:《基于组件的可执行语义》(2019) Lochbihler,Andreas:使用经过验证的编译器实现多线程Java的类型安全模型(2018) Arusoaie,Andrei;Ciob–că,Ştefan;Lucanu,Dorel;Rosu,Grigore;Rusu,Vlad;Şerbănuţă,Traian Florin:程序逻辑及其应用(2017) Biernacka,Małgorzata;Charatonik,Witold;Jeelinska,Klara:广义重聚焦:从混合策略到抽象机器(2017) Bugliesi,Michele;Calzavara,Stefano;Focardi,Riccardo:web安全的形式方法(2017) Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017) Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017) Roşu,Grigore:匹配逻辑(2017) Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016) Rusu,Vlad;Lucanu,Dorel;Şerbănuţă,Traian Florin;Arusoaie,Andrei;Ştefănescu,Andrei;Roşu,Grigore:语言定义作为重写理论(2016) Şerbănuţă,Traian Florin;Dinu,Liviu P.:最大化并行上下文字符串重写(2016) Arusoaie,Andrei;Lucanu,Dorel;Rusu,Vlad:基于语言转换的符号执行(2015) Bogdanas,Denis;Roşu,Grigore:K-Java:Java的完整语义(2015) Ciob–că,Ştefan;Lucanu,Dorel;Rusu,Vlad;Roşu,Grigore:编程语言聚合的理论基础(2015) Lucanu,Dorel;Rusu,Vlad:循环推理的程序等价性(2015) Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei;Nowak,David:验证重写逻辑规范的可达性逻辑属性(2015) Mota,A.;Farias,A.;Woodcock,J.;Larsen,P.G.:模型检查CML:工具开发和工业应用(2015) ioport公司