static analysis; abstract interpretation; verification; safety; concurrency; embedded programs; rely-guarantee methods;
机译:静态型分析通过抽象解释Python计划
机译:通过抽象解释TinyOS中设备驱动程序的功能属性进行静态分析
机译:使用抽象解释对生物调控网络动力学进行静态分析
机译:通过抽象解释的关系线模块化静态值分析
机译:基于SMT的析取关系抽象域用于静态分析
机译:de Sitter度量标准的静态形式和非静态形式之间的解释冲突
机译:抽象解释的关系线程模块静态值分析?