One of my R & D themes has been to package program analysis technology
so that it finds practical uses in the Industry.
Gensat, a generator for static analysis and transformation (SAT) programs,
is such a software system.
The technological know-how of the Gensat technology was transferred to a Company for a sizeable
technology transfer fee.
Brief description of Gensat