Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
复制标题
形式化方法：基础和应用
DOI：
10.1007/978-3-642-41071-0_3
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Bandur V
中科院分区：
文献类型：
--
作者：
Bandur V
我们提出了一个统一的治疗多值逻辑规范的一般情况下，在风格的统一规划理论的霍尔和他。在低层次上，UTP理论对应于不同类型的三值逻辑。在更高的级别上，它们对应于各个规格。设计被认为是它们的模型，但其他统一的计算理论的成员也可以作为模型。使用这种设置，我们有机会展示使用不同逻辑的规范语言之间的对应关系。
We propose a unifying treatment of multi-valued logic in the general context of specification, presented in the style of the Unifying Theories of Programming of Hoare and He. At a low level, UTP theories correspond to different types of three-valued logic. At higher levels they correspond to individual specifications. Designs are considered as their models, but members of other unifying theories of computation can serve as models just as well. Using this setup we have the opportunity to show correspondences between specification languages that use different logics.
登录
查看更多内容
protoMIRAX 硬 X 射线成像气球实验
DOI：
10.1051/0004-6361/201526343
发表时间：
2015
期刊：
arXiv: Instrumentation and Methods for Astrophysics
影响因子：
--
作者：
J. Braga;F. D’Amico;M. Avila;A. Penacchioni;J. Sacahui;Valdivino Santiago;Fátima Mattiello;C. Strauss;M. Fialho
通讯作者：
M. Fialho
通过法则在顺序 Java 中引入并发
DOI：
10.1016/j.ipl.2010.11.004
发表时间：
2011
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
R. Duarte;A. Mota;A. Sampaio
通讯作者：
A. Sampaio
验证LCF中的统一算法
DOI：
10.1016/0167-6423(85)90009-7
发表时间：
1985
期刊：
ArXiv
影响因子：
--
作者：
Lawrence Charles Paulson
通讯作者：
Lawrence Charles Paulson
DOI：
10.1016/j.scico.2004.03.003
发表时间：
2004
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Paulo Borba;A. Sampaio;Ana Cavalcanti;Márcio Cornélio
通讯作者：
Márcio Cornélio
方程约束列表的幂等 MGU 公理的机器检查模型
影响因子：
7.4
作者：
Sunil Kothari;J. Caldwell
通讯作者：
J. Caldwell