中央结算系统

CCSL是一种结合代数元素和余代数元素的规范语言。CCSL编译器将CCSL规范转换为PVS或Isabelle/HOL的高阶逻辑(在新样式的Isar语法中)。转换后,定理证明器可以用来检查规范,建立模型,构造精化,等等


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. Mallet,Frédéric;Zholtkevych,grygori:时钟约束规范语言的Coalgebraic语义模型(2015)
  2. Leivant,Daniel M.:归纳和共归纳计算的全局语义类型(2014)
  3. Amato,Gianluca;Lipton,James;McGrail,Robert:关于声明式编程语言的代数结构(2009)
  4. Rodrigues,César J.;Oliveira,J.N.;Barbosa,Luis.:用于煤炭精化的单一完整关系规则(2009)
  5. Nagoev,Z.V.:物理校正虚拟环境中药剂形态发生的基因组控制(2008)
  6. Schröder,Lutz:余代数模态逻辑的表达性:极限与超越(2008)
  7. Schröder,Lutz:煤层气模态逻辑的有限模型构造(2007)
  8. Mossakowski,Till;Schröder,Lutz;Roggenbach,Markus;Reichel,Horst:CoCASL中的代数余代数规范(2006)
  9. Schröder,Lutz:余代数模态逻辑的表达性:极限与超越(2005)
  10. Roşu,Grigore:行为抽象就是隐藏信息(2004)
  11. 史蒂夫阿沃迪;休斯,杰西:模态算子和Birkhoff完备性定理的形式对偶。(2003年)
  12. Ciafaglione,Alberto;Likori,Luigi;Miculan,Marino:共归纳型理论中的强制基于对象的计算(2003)
  13. Hughes,Jesse;Warnier,Martijn:验证密码协议的协同方法。(2003年)
  14. 程序:Techley 2003年Java编程代码ioport公司
  15. Jacobs,Bart:通过Galois代数对余代数的时间逻辑(2002)
  16. Kurz,Alexander:接受最终语义的逻辑学(2002)
  17. Rothe,Jan:coalgebras弱(双)模拟的句法方法(2002)
  18. Rothe,Jan;Mašulović,Dragan:走向coalgebras的弱相互模拟(2002)
  19. Tews,Hendrik:二进制方法的最大互模拟(2002)
  20. 休斯,杰西:方程组的模态算子(2001)