首页> 外国专利> SYSTEM, METHOD AND COMPUTER PROGRAM PRODUCT FOR DETECTING INFEASIBLE EVENTS IN DYNAMIC PROGRAMS

SYSTEM, METHOD AND COMPUTER PROGRAM PRODUCT FOR DETECTING INFEASIBLE EVENTS IN DYNAMIC PROGRAMS

机译：检测动态程序中不可行事件的系统，方法和计算机程序产品

页面导航

摘要
著录项
相似文献

摘要

A computer-implemented method for determining infeasible conditions is disclosed. The method comprises executing a backward-bounded symbolic analysis on a control flow graph of a dynamic program.

机译：公开了一种用于确定不可行条件的计算机实现的方法。该方法包括在动态程序的控制流程图上执行后向符号分析。

著录项

公开/公告号EP3477523A1

专利类型
公开/公告日2019-05-01

原文格式PDF
申请/专利权人 COMMISSARIAT À LENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES;
展开▼

申请/专利号EP20180201787
发明设计人 BARDIN SÉBASTIEN;DAVID ROBIN;
展开▼

申请日2018-10-22
分类号G06F21/56;G06F21/57;
国家 EP
入库时间 2022-08-21 12:26:31

相似文献

专利
外文文献
中文文献