Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Feng Chen0
Wolfram Schulte0
Wolfgang Grieskamp0
Nikolai Tillmann0
Date of Patent
November 30, 2010
0Patent Application Number
113229820
Date Filed
December 30, 2005
0Patent Primary Examiner
Patent abstract
A computerized method receives an implementation comprising a modifier method and an observer method of a class implementing an abstract data type. The method symbolically executes the modifier method to obtain constrained states, and applies the observer method in constrained states to obtain specialized axioms. The method then creates a specification from the obtained specialized axioms based on generalizing, merging and simplifying the specialized axioms.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
