Although our
contract with DARPA provides only for the analysis and adaptation of the
OCP software, the KCS toolset and the SEC pattern catalog can be applied to
a variety of other software. It can be applied
not only to C++ code, but to UML models and software written in a variety
of other languages (including languages that compile to the JVM and
languages supported by .NET). Custom pattern
catalogs can also be defined to address problems in different domains. The toolset can be
used to perform programming language translation and to provide mappings
between the notations/languages used by various modeling and verification tools. Support for these tools, pattern catalogs, and their continued
development (beyond the end of our role on SEC) will be provided
commercially by Ensoft
Corporation. For further
information, and to submit other software for analysis/adaptation, contact: Dr. Suresh Kothari 515-294-7212 Or: Ensoft Corporation 2501 North Loop Drive Suite 1436 Ames, Iowa 50014