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.