大科技·科技天地
大科技·科技天地
대과기·과기천지
SUPER SCIENCE
2010年
11期
394-395
,共2页
混成系统%形式验证%可达性%可决定性
混成繫統%形式驗證%可達性%可決定性
혼성계통%형식험증%가체성%가결정성
本文系统地介绍了混成系统及形式验证的概念,在验证模型的基础上,给出了两种形式验证方法.并重点阐迷了这两种方法的算法步骤和不足,简单地介绍了验证工具,最后总结了目前混成系统形式验证研究应用的现状和发展方向.
本文繫統地介紹瞭混成繫統及形式驗證的概唸,在驗證模型的基礎上,給齣瞭兩種形式驗證方法.併重點闡迷瞭這兩種方法的算法步驟和不足,簡單地介紹瞭驗證工具,最後總結瞭目前混成繫統形式驗證研究應用的現狀和髮展方嚮.
본문계통지개소료혼성계통급형식험증적개념,재험증모형적기출상,급출료량충형식험증방법.병중점천미료저량충방법적산법보취화불족,간단지개소료험증공구,최후총결료목전혼성계통형식험증연구응용적현상화발전방향.
