NASA Is Auctioning Off Five Software Patents

NASA Goddard Space Flight Center is putting up for auction five software-related patents on Veteran's Day, November 11, 2010. 

 

7,668,796

"Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation."

(I like the R2D2 part of this patent's title.)

7,627,538

"Swarm autonomic agents with self-destruct capability."

7,752,608

"Systems, methods and apparatus for verification of knowledge-based systems."

7,739,671

"Systems, methods and apparatus for implementation of formal specifications derived from informal requirements."

7,543,274

"System and method for deriving a process-based specification."

The U.S. Government apparently expects to receive at least $250,000 from the auction of these patents.