英文儿歌
专利名称:Automata-theoretic verification of systems 发明人:HARDIN RONALD H.,KURSHAN ROBERT PAUL
reading>myname
申请号:US94647397
申请日:19971007e you again什么意思
公开号:US6185516B1
琥珀教育公开日:
tuko
坚持就是胜利英语
framerelay20010206
急冻人
专利内容由知识产权出版社提供小学生英语
摘要: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.
更多信息请下载全文后查看