发明名称 Verification by efficiency based selection of parallel executed reachability algorithms
摘要 A system and method for running multiple image computation approaches in parallel and selecting an optimal one of the image computation approaches for verification use based on efficiency of individual approaches. The method automatically determines an optimal approach with respect to modifications of parameters that can affect efficiency of the verification.
申请公布号 EP1939773(A2) 申请公布日期 2008.07.02
申请号 EP20070021246 申请日期 2007.10.31
申请人 FUJITSU LIMITED 发明人 STERGIOU, STERGIOS
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址