几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. Theand运算符&是默认值,可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
准地图:1989年 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
小结:验证一个系统作为一个整体的正确性需要确定它满足一个全局规范.如果不正确,则确定哪些模块不正确是很有帮助的.因此,从理论和实践的角度来看,规范分解是一个相关的问题.到目前为止,规范分解已经由控制理论和验证团体通过自然投影和部分模型检查分别是.我们证明了自然投影简化为部分模型检验,并且,当在一个共同的设置下,两者是等价的.除了他们的基本利益,我们的结果建立了一个桥梁,控制理论界可以重用验证社区开发的算法和结果.此外,我们将自然投影和部分模型检验的概念从有限状态推广到符号转换系统,并证明了等价性仍然成立.符号转换系统比传统的有限状态转换系统更具表现力,因为它们可以模拟大型系统,其行为取决于所处理的数据,而不仅仅取决于控制流.最后,我们提出了两类系统的局部模型检验算法,可以代替自然投影.
68Q60型 规范和验证(程序逻辑,模型检查等)
[36] Sharma,R.,Bauer,M.,Aiken,A.:GPU程序中生产者-消费者同步的验证.美国俄勒冈州波特兰市第36届ACM SIGPLAN编程语言设计与实现会议论文集,2015年6月15日至17日,第88-98页.ACM(2015年).10.1145/2737924.2737962
[39] 王国庆:关于离散事件系统投影的复杂性.在:IEEE离散事件系统研讨会论文集,第201-208页(1998年)
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.