×

兹马思-数学第一资源

合成算法。(英语) Zbl 1305.68118号
Bouajjani,Ahmed(ed.)等人,《验证和分析自动化技术》。第八届国际研讨会,ATVA 2010,新加坡,2010年9月21日至24日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学课堂讲稿6252112-127(2010)。
摘要:本文提出了两种求解安全博弈的组合算法,并将其应用于LTL综合问题的合成算法。我们已经实现了这些新的组合算法,并且我们证明它们能够处理比当前最先进算法可以处理的规范大一个数量级的完整LTL规范。
整个系列请参见[Zbl 1196.68003].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部