Verum announces the availability of Release 3 version 8.1.0 of the ASD:Suite. The ASD:Suite is a general purpose, software design automation platform that enables developers to translate mathematically-verified components into defect-free source code.
The key enhancement to this release is the addition of TinyC to the list of high-level source code generators available to users. The TinyC-generated code is very compact C code and is targeted at resource-constrained platforms such as microcontrollers. Users can expect a dramatic reduction in code size (RAM and ROM usage) while retaining ANSI C compliance.
In addition to extending code generator options, version 8.1.0 introduces an enhanced portal to streamline deployment and administration of the ASD:Suite. As ASD:Suite is deployed more widely, these enhancements will benefit ASD administrators who now have a rich set of features to simplify roll-out and maintenance of the ASD:Suite within their organization.
Version 8.1.0 will read models created by earlier versions and update older models with automatic conversion. For more in-depth information on this version of the ASD:Suite, please visit the community portal for the release notes. A free, 30-day full-featured version of the ASD:Suite is available for download on Verum’s website.
About the ASD:Suite
Making software design verification a reality
The Verum ASD:Suite is a unique, general purpose, software design automation platform. Incorporating fully automated mathematical verification technology, it enables software engineers to build better, more complex software while delivering a net 30%-50% improvement in productivity and a corresponding decrease in time to market.
ASD:Suite users include Ericsson, FEI Company, Nanda Tech, Nspyre, PANalytical, Philips, Sioux, and TASS.
Download a PDF copy of this press release (UK).
For more information, please contact: info@verum.com.