Verification of a microcomputer program specification embedded in a reactive system

被引：0

作者：

Osaka Univ., Toyonaka-shi, Japan ^{[1
]}

不详 ^{[2
]}

不详 ^{[3
]}

机构：

来源：

关键词：

Compositional verification - Microcomputer program specification - Model checking - Reachability graph - Reactive system;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：1082 / 1091