形式验证

自动定理证明器论文-郝爔
导读:本文包含了自动定理证明器论文开题报告文献综述及选题提纲参考文献，主要关键词:形式验证,形状图逻辑,结构归纳,自动定理证明自动定理证明器论文文献综述郝爔[1]（2015）在...
非确定有限状态机论文-李炜,刘政怡,吴建国
导读:本文包含了非确定有限状态机论文开题报告文献综述及选题提纲参考文献，主要关键词:完全确定有限状态机,控制器综合,形式验证,等价性非确定有限状态机论文文献综述李炜,刘政怡,吴...