Timed Automata; infinite-state model-checking; real-time systems;
机译:扩展无界离散数据结构的定时自动机验证
机译:离散定时自动机的Presburger活动性验证
机译:广义离散定时自动机:安全验证的可确定近似值
机译:自动验证多队列离散定时自动机
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:自动验证多队列离散定时自动机