Hets公司

Hets-异构工具集。Hets是一个解析、静态分析和证明管理工具,它集成了各种验证程序和不同的规范语言,从而为异构规范提供了一个工具。逻辑翻译是一流的公民。


zbMATH参考文献(58篇文章引用)

显示第1到第20个结果,共58个。
按年份排序(引用)
  1. 哈夫雷恩,马格纳;罗根巴赫,马库斯:用句法理论函子指定(2020)
  2. 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019)
  3. 《中情局陈述》;霍尔马蒂亚·加西亚(Daniel Sutch,2019);杰米·萨奇(Daniel Sutch)和杰米·萨奇(Daniel Sutch)的代表;杰姆·萨基(Daniel Sutch)和尼卡·拉吉(Daniel Sutch);尼卡·萨奇(Daniel Sutch)和尼卡·拉吉(
  4. Azzi,Guilherme Grochau;Bezerra,Jonas Santos;Ribeiro,Leila;Costa,Andrei;Rodrigues,Leonardo Marques;Machado,Rodrigo:图形转换的Verigraph系统(2018)
  5. 曼弗雷德·埃佩(Eppe);麦克莱恩(Ewen);康法罗尼埃里(Roberto);库茨(Kutz),奥利弗(Oliver);斯科勒默(Schorlemmer),马尔科(Marco);普拉斯(Plaza),恩里克(Enric);凯·乌韦(Kai-Uwe):概念融合的计算框架(2018年)
  6. Mossakowski,Till;Krieg Brückner,Bernd:DOL中泛型的部分推出语义(2018)
  7. 莫斯,彼得·D.:科菲与唐·桑内拉(2018)
  8. Alexander Maletzky;Wolfgang Windsteiger:Vickrey拍卖的形式化:Isabelle和Theorema中两种方法的比较(2017)
  9. Riesco,Adrián;Ogata,Kazuhiro:来自半正式证明文件的正式证明生成器(2017)
  10. Riesco,Adrián;Ogata,Kazuhiro;Futatsugi,Kokichi:CafeOBJ的Maude环境(2017)
  11. Raggi,Daniel;Bundy,Alan;Grov,Gudmund;Pease,Alison:《离散数学证明的自动转换表示法》(扩展版)(2016年)
  12. Baumeister,Hubert;Bettaz,Mohamed;Maouche,Mourad;Mosteghanemi,M'hamed:具有遗传和多态性的Object-Z研究所(2015)
  13. Benzmüller,Christoph:高阶自动定理证明器(2015)
  14. Benzmüller,Christoph;Sultana,Nik;Paulson,Lawrence C.;Theiß,Frank:The higher-order prover\textscLeo II(2015年)
  15. Castro,Pablo F.;Aguirre,Nazareno;Pombo,Carlos L.;Maibaum,T.S.E.:(\mathsfZ)中结构化规范的分类基础(2015)
  16. 克纳普,亚历山大克纳普;塞加拉,马利亚维多利亚:类OCL表达语言的机构(2015)
  17. Knapp,Alexander;Mossakowski,Till;Roggenbach,Markus:迈向UML中异构形式开发的组织框架。--立场文件——(2015)
  18. Madeira,Alexandre;Martins,Manuel A.;Barbosa,Luís s.;Hennicker,Rolf:《杂交机构的改进》(2015年)
  19. Raggi,Daniel;Bundy,Alan;Grov,Gudmund;Pease,Alison:离散数学中证明的自动转换表示(2015)
  20. James,Phillip;Roggenbach,Markus:在特定领域语言中封装形式化方法:验证铁路方案计划的解决方案(2014)