10.3969/j.issn.1000-386X.2010.10.052
基于Alloy求解过河问题
Alloy是一种轻量级的建模语言,其所建模型可以由Alloy分析器自动地进行检验,并提供可视化的工具.过河问题是一个经典的逻辑问题,它要求一队人在一定约束下过河到对岸.给出基于Alloy的对复杂过河问题求解的代码和可视化的结果,通过对过河问题的基于Alloy的求解分析,提出了用Alloy语言对复杂问题建模、求解的思路.
Alloy、过河问题、模型检验
27
H31;H19
2010-12-21（万方平台首次上网日期，不代表论文的发表时间）
共4页
165-167,184
