发明名称 |
REACTIVE SYSTEM SAFETY VERIFICATION DEVICE, METHOD, PROGRAM, AND RECORDING MEDIUM CONTAINING THE PROGRAM |
摘要 |
A safety verification device of a reactive system, in which a set of axioms consists only of a commutative law and an associative law, comprises a translation unit (8) which generates, under said set of axioms, a first equational tree automaton which accepts a set of terms; a simulation unit (9) which generates, under a set of rewriting rules and said set of axioms and using said first equational tree automaton as initial data, a second equational tree automaton which accepts said set of terms and a set of terms derived from said set of terms; and a set operation unit (10) which generates a fourth equational tree automaton by associating said second equational tree automaton with a third equational tree automaton which accepts a set of terms to be verified, and determines whether or not a set accepted by the fourth equational tree automaton is an empty set. <IMAGE> |
申请公布号 |
EP1545048(A1) |
申请公布日期 |
2005.06.22 |
申请号 |
EP20030741478 |
申请日期 |
2003.07.18 |
申请人 |
NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCEAND TECHNOLOGY |
发明人 |
OHSAKI, HITOSHI;TAKAI, TOSHINORI |
分类号 |
G06F17/10;H04L9/08;G06F15/00;G06F21/20;G09C1/00;H04L9/00;H04L9/10;H04L9/18;H04L9/32 |
主分类号 |
G06F17/10 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|