Keywords Timed automata;Timed System;Formal verification;Theorem proving;PVS;

• 关键词时间自动机;时间系统;形式验证;定理证明;PVS;