Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
复制标题

DOI：
10.1007/978-3-319-89960-2
复制
发表时间：
2018
期刊：
--
影响因子：
--
通讯作者：
Dirk Beyer;Marieke Huisman
Dirk Beyer;Marieke Huisman
中科院分区：
其他
文献类型：
--
作者：
Dirk Beyer;Marieke Huisman

文献摘要

被引文献

相似文献

计算机体系结构计算机软件选择和评价;形式逻辑;形式方法;模型检验器;模型检验;多核处理器;程序编译器;程序设计语言;语义学;软件工程;规范;状态空间;验证
computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification