Assertion

ModAssy  v.1.5.1

This is an advanced portable C++ library with 80 variations of the ASSERT macro, to add expressions, levels and optional actions.

• Category: Bug Trackers
• Developer: Q-Mentum - Download - Free

• c assertion debugging

Schematron Eclipse Plugin  v.0.2.0

An Eclipse Plugin to create/edit ISO Schematron schemas and apply those schemas to XML files to highlight assertion and reporting information.

• Category: Programming
• Developer: castledesigns.co.uk - Download - Free

Active-HDL  v.8. 3. 2026

Active-HDL™ is a Windows® based integrated FPGA Design and Simulation solution. Active-HDL includes a full HDL graphical design tool suite and RTL/gate-level mixed-language Simulator.

• Category: Multimedia & Graphic Design
• Developer: Aldec - Download - Free

• fpga - asic - electronic - design - verification

Vienna  v.2.3.0.2301

Vienna is a freeware, open source RSS/Atom newsreader for the Mac OS X operating system.

• Category: Internet
• Developer: Vienna - Download - Free

• vienna

Freud  v.1.0.2

A framework to write static analysis tests.

• Category: File Editors
• Developer: langera - Download - Free

• static analysis test - java framework - design analysis test - analysis - test

Java Modeling Language (JML)  v.1.0

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC).

• Category: Code Management Tools
• Developer: jmlspecs.org - Download - Free

XJML  v.1.0

XJML 1.

• Category: Programming
• Developer: SourceForge.net - Download - Free

OttoMate Web Test Automator Actions  v.0.9

OttoMate Autmator Web Test Actions, the Suite of Mac OS X Automator Actions that mates the simple, intuitive beauty of the Aqua graphical user interface with Automated Web Testing.

• Category:
• Developer: Todd Ditchendorf - Download - Free