机译:基于区间的SAT模ODE求解器,用于非线性混合系统的模型检查
INRIA, LINA, Universite de Nantes, 2, rue de la Houssiniere,44322 Nantes, France;
Department of Computer Science, Waseda University, 3-4-1,Okubo, Shinjuku-ku, Tokyo 169-8555, Japan;
National Institute of Informatics, 2-1-2, Hitotsubashi,Chiyoda-ku, Tokyo 101-8430, Japan;
nonlinear hybrid systems; bounded model checking; satisfiability modulo theories interval analysis;
机译:通过结合不同的封闭方法,改进SAT模ODE方法以进行混合系统分析
机译:使用Smt求解器而非Sat求解器进行软件的有界模型检查
机译:解决SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)
机译:SAT模ODE:混合系统的直接SAT方法
机译:用动作语言模ODE表示混合过渡系统。
机译:在ECM退化路径网络的非线性ODE中寻找变量的可解单位
机译:基于区间的saT模数ODE求解器模型检验非线性混合系统