INTEC, Ghent University;
analysis; calculational reasoning; data types; functional predicate calculus; funmath; generic functionals; programming theories; quantifiers;
机译:SystemCFL:硬件/软件协同设计的正式规范和分析
机译:基于功能故障的组合硬件软件系统的可靠性和可用性早期预测
机译:规范软件和硬件系统功能规格的开发技术和方法
机译:使用功能,谓词和关系的系统,软件和硬件的正式推理
机译:硬件/软件形式验证中高级构造的推理
机译:使用定理证明关于系统生物学的形式推理
机译:使用功能,谓词和关系的系统,软件和硬件的形式推理