Services

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
kothari@iastate.edu

Or:

Ensoft Corporation
2501 North Loop Drive
Suite 1436
Ames, Iowa 50014
contactus@ensoftcorp.com


Home | Issues | Vision | XCIL | XPSL | Pattern catalogs | KCS tools | Results | Services | Standards | Tech transfer