SAnToS Laboratory Kansas State University;
SAnToS Laboratory Kansas State University;
SAnToS Laboratory Kansas State University;
机译:基于合同的MATLAB样式矩阵程序验证
机译:现场可编程门阵列中算术分量生成的自动流程
机译:使用容器进行程序的精确推理
机译:基于准合同的基于合同的验证和认证程序的信息流量的验证和认证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:通过琼脂酵母培养物阵列的延时成像和自动图像分析对细胞增殖动力学进行准确精确的建模
机译:精确和自动的基于合同的推理,用于验证和认证带有数组的程序的信息流属性
机译:用自动推理系统对数字系统属性的形式验证