The FoCs (short for Formal CheckerS, pronounced "fox") property checkers generator is a productivity tool for automatic generation of simulation monitors from formal specifications. It aids chip designers and verification engineers in the complex, costly task of verifying chip designs before submitting them to manufacturing.
Xnetintf is an X Windows application that manages network interfaces. The current interface state is depicted through a series of bitmaps, and a mouse click in the window initiates a state transition. Xnetintf uses a per-interface configuration file to supply commands that check and toggle state, as well as a program to run after the state change completes. A command line interface is also supported.
MQWhat is a tool for documenting which MQ components are installed and active on a particular server. Since MQ component information is contained in various files and/or output by MQ programs, MQWhat is designed to collect and summarize the MQ information and present the information to the user's screen in a concise manner.
w4ais is a gateway between a forms-capable Web browser and an indexing/search program, based on the old EIT wwwwais program. This new version is tested completely with swish 1.2 and above, and should still work with freeWAIS. This version allows easy and thorough customization of the search page look and feel, and includes help and various utilities to install and configure multiple interfaces for various users or sites on a single system.
Userexitd for TSM is a configurable handler for Tivoli Storage Manager events. It allows an administrator to filter events using regular expressions and run various actions for TSM events, such as sending mail and SNMP traps, writing messages into syslog, and running scripts and programs. This software consists of two parts: a simple shared library (userexit.so), which is dynamically linked to the TSM Server as a user exit and communicates using a socket with the userexitd daemon, which runs as a separate service. The daemon is configured with an XML configuration file.