Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
复制标题
抽象状态机、Alloy、B、TLA、VDM 和 Z
DOI：
10.1007/978-3-662-43652-3_12
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Boiten E
中科院分区：
文献类型：
--
作者：
Boiten E
保护信息的物理手段（例如密封信封和刮刮卡）可用于实现加密目标。到目前为止，对此的推理还不是很正式。我们给出了 Z 中可区分的密封封套的模型，探索设计决策并进一步分析和开发此类模型。
Physical means of securing information, such as sealed envelopes and scratch cards, can be used to achieve cryptographic objectives. Reasoning about this has so far been informal.We give a model of distinguishable sealed envelopes in Z, exploring design decisions and further analysis and development of such models.
登录
查看更多内容
AUnit：合金测试自动化工具
DOI：
10.1109/icst.2018.00047
发表时间：
2018
期刊：
ICST Tool 2018
影响因子：
--
作者：
Sullivan, Allison;Wang, Kaiyuan;Khurshid, Sarfraz
通讯作者：
Khurshid, Sarfraz
DOI：
10.1007/s10009-013-0287-9
发表时间：
2013
影响因子：
1.5
作者：
Rastislav Bodík;Barbara Jobstmann
通讯作者：
Barbara Jobstmann
合金的自动测试生成和突变测试
DOI：
10.1109/icst.2017.31
发表时间：
2017
期刊：
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
影响因子：
--
作者：
Allison Sullivan;Kaiyuan Wang;Razieh Nokhbeh Zaeem;S. Khurshid
通讯作者：
S. Khurshid
寻找声明性规范的最小不可满足核心
DOI：
--
发表时间：
2008
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Emina Torlak;F. Chang;D. Jackson
通讯作者：
D. Jackson
影响因子：
1.8
作者：
Allison Sullivan;Razieh Nokhbeh Zaeem;S. Khurshid;D. Marinov
通讯作者：
D. Marinov