×

兹马思-数学第一资源

无限游戏与验证(教程的扩展摘要)。(英语) Zbl 1010.68504
Brinksma,Ed(Ed.)等人,计算机辅助验证。第14届国际会议,CAV 2002,丹麦哥本哈根,2002年7月27日至31日,会议记录。柏林:斯普林格。选择。笔记计算。科学。2404年,第58-77页(2002年)。
摘要:本教程的目的是概述无限对策的算法理论的要点,它在自动程序合成和验证中的作用,以及当前研究中的一些挑战。
整个系列请参见[Zbl 0993.00049].

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68Q60型 规范和验证(程序逻辑、模型检查等)
91A80型 博弈论的应用
PDF格式 BibTeX公司 XML 引用
全文: 链接