专利内容由知识产权出版社提供
专利名称：Object-based systematic state space
exploration of software
发明人：Anthony D. Andrews,Shaz Qadeer,Niels
Jakob Rehof,Sriram K. Rajamani,Yichen Xie
申请号：US107769申请日：20040213公开号：US07526750B2公开日：20090428
专利附图：
摘要：The state space of modeled software can be explored using an object-basedsystematic state explorer. The object-based model can perform well even in light of the
complexities of concurrent software. During state space exploration, differences betweenstates can be stored instead of storing a complete copy of the state.
申请人：Anthony D. Andrews,Shaz Qadeer,Niels Jakob Rehof,Sriram K. Rajamani,YichenXie
地址：Sammamish WA US,Seattle WA US,Redmond WA US,Bellevue WA US,StandfordCA US
国籍：US,US,US,US,US
代理机构：Klarquist Sparkman, LLP
更多信息请下载全文后查看
