专利名称：Test case generation algorithm for a model
checker
发明人：Grygoriy Bunin,Axel Schneider申请号：US11408506申请日：20060421公开号：US07523425B2公开日：20090421
专利附图：
摘要：A method for testing hardware and software system design. An abstract systemdescription is used to design hardware/software systems and generated test cases arereused to verify the correctness of the implementation.
申请人：Grygoriy Bunin,Axel Schneider
地址：Erlangen DE,Baiersdorf DE
国籍：DE,DE
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容