机译:下推定时自动机:二进制可达性表征和安全验证
Model-checking; Timed automata; Pushdown timed automata; Binary reachability; Presburger; Real-time systems; Real-time; Model-checking; Multicounter machines; Decision-problems; Systems; Expressiveness; Complexity; Logic; Tool;
机译:下推定时自动机:二进制可达性表征和安全验证
机译:定时登记推动自动机和分支矢量加法系统的二进制可达性
机译:通过量词消除和循环序原子实现定时下推自动机的二进制可达性
机译:具有密集时钟的下推定时自动机的二进制可达性分析
机译:使用持续方法进行安全验证的基于稳定性的混合自动机。
机译:失去安全网:有时间限制的福利政策如何影响危险的家庭限制
机译:下推定时自动机:二进制可达性表征和安全验证