专利内容由知识产权出版社提供
专利名称：Object-based systematic state space
exploration of software
发明人：Anthony D. Andrews,Shaz Qadeer,Niels
Jakob Rehof,Sriram K. Rajamani,Yichen Xie
申请号：US107769申请日：20040213
公开号：US200500868A1公开日：20050421
专利附图：
摘要：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,StanfordCA US
国籍：US,US,US,US,US
更多信息请下载全文后查看
