表示性格的词语
专利名称：Automata-theoretic verification of systems 发明人：HARDIN RONALD H.,KURSHAN ROBERT PAUL
申请号：US94647397党校培训心得
DGET函数
电脑优化软件申请日：19971007
六年级的作文
流动人口管理公开号：US6185516B1
公开日：双面女友
我和妹妹
20010206
专利内容由知识产权出版社提供
摘要：Verification systems which employ automata-theoretic formal verification u a model automaton made from a system process (203) reprenting the system and a task automaton (205) reprenting the task and u the model automaton to test (217) whether the language of the system process is contained in the language of the task automaton. An improved technique reduces the computational complexity of the language containment testing by producing a model (216) which reprents a system which has been automatically localized with regard to a task. Another technique reduces the computational complexity of stepwi refinement (208). In stepwi refinement, the system automaton is refined a step at a time until it reaches the complexity of a practical implementation. The computational complexity of the stepwi refinement is reduced by a technique which permits language containment to be tested using a t of models made from process-automaton pairs rather than process-process pairs.
申请人：LUCENT TECHNOLOGIES INC.
更多信息请下载全文后查看
