机译:通过抽象加速的守护LTI模型的无界时间安全验证
Univ Oxford Dept Comp Sci Oxford England;
Univ Oxford Dept Comp Sci Oxford England;
Univ Sussex Sch Engn & Informat Brighton E Sussex England;
Univ Oxford Dept Comp Sci Oxford England;
Safety analysis; Invariant generation; Reachability computation; LTI models; Dynamical models; Abstract acceleration; CEGAR;