OStatic

Spin is an award winning (ACM) software tool that can be used for the formal verification of distributed software systems. The tool was developed at B...

NetLinx Diagnostic and Control is software that allows full control of all NetLinx interfaces and all equipment connected to AXLink, ICSNet, or ICSH...

The Systems Management Framework for Distributed Environments is a multi-platform custom-coded Java framework that provides a single point for executi...

IBM Real-Time Class Analysis Tool for Java lets developers deploy their Java applications without manually defining classes that should be preloaded. ...

Expedited Real Time Threads (XRTs) is a tool for improving predictability of high-frequency, hard, real-time Java applications. It can implement the i...

Version Control System is a tool that creates and updates a version.h file with a piece of softwares version and updates the build number on the next ...

Regular Statement String (RSS) provides several libraries in C, Java, and COM to implement and demonstrate the key-value development method using well...