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. 



"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.)


"Swarm autonomic agents with self-destruct capability."


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


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


"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.