...
机译:基于合同的MATLAB样式矩阵程序验证
Abo Akad Univ, Fac Sci & Engn, Domkyrkotorget 3, SF-20500 Turku, Finland;
Abo Akad Univ, Fac Sci & Engn, Domkyrkotorget 3, SF-20500 Turku, Finland;
MATLAB; Numerical computing; Automated verification; SMT solving;
机译:基于黑匣子和基于合同的模型转换验证
机译:基于黑匣子和基于合同的模型转换验证
机译:SysML中基于合同的建模和时间安全要求的验证
机译:对Clojure基于合同的程序进行静态验证
机译:从MetroII到Metronomy,设计用于网络物理系统时序验证的基于合同的功能-架构协同仿真框架。
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:精确和自动的基于合同的推理,用于验证和认证带有数组的程序的信息流属性