Algorithms; Circuits; Automatic; Debugging(Computers); Efficiency; Explosions; Syntax;
机译:在有限状态并发系统的自动验证中利用转换局部性
机译:使用基于公式的组合方法自动验证并发系统
机译:并发系统的自动分层验证
机译:自动验证有限状态并发系统
机译:验证为通信有限状态机的消息传递异步系统中格式正确的验证
机译:使用Roche CAP / CTM系统的天龙自动超敏乙型肝炎病毒DNA定量系统的性能验证和比较
机译:有限状态并发系统自动验证的限制