ERCIM News No.33 - April 1998

Verification and Analysis Software Tools

by Uwe Gläser

In the project VAN (Verification and Analysis Software Tolls), tools and algorithms have been developed to support hardware testing, circuit analysis and formal verification for hardware and software. These new methods are partly based on topological algorithms and partly on integrated topological and symbolic approaches.

Three tools are available for transfer:

Free evaluation and research licenses as well as payable licenses for commercial use are available.

Please contact:

Uwe Gläser - GMD
Tel: +49 2241 14 2875

return to the contents page