|  |
Keyword : verification 
|
|
Technology |
Date |
|
| FoCs Property Checkers Generator
A productivity tool for automatic generation of simulation monitors from formal specifications.
| 12/20/2006 | | IBM CIM Provider Certification Tool
A CIM-based certifier for facilitating the verification of CIM providers.
| 01/23/2007 | | KeyMan
A tool for managing keys, certificates, certificate revocation lists (CRLs), and the respective repositories for storing and retrieving these items.
| 02/07/2007 | | Resource Bundle Inspector For Java
A tool that allows visual inspection of translated Java Resource bundles, including the ability to easily switch between languages; useful for detecting erroneous native-to-ASCII conversions.
| 09/21/2005 | | Security Workbench Development Environment for Java
A collection of Eclipse plug-ins designed to aid in the security-related aspects of developing Eclipse plug-ins, Java applications, and OSGi applications. (This is an ETTK technology.)
| 04/08/2008 |
|
