Superposition; hierarchic theorem proving; timed automata; decision procedures.;
机译:叠加作为定时自动机的决策程序
机译:叠加作为定时自动机的决策程序
机译:马尔可夫定时自动机的时间抽象双仿真
机译:叠加作为定时自动机的决策程序(扩展摘要)
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:用于软件测试案例生成的实时扩展接口自动机
机译:关于改进定时自动机的向后验证(扩展摘要)
机译:automata,power series和Coinduction:认真对待输入衍生物211(扩展摘要)。软件工程