( ESNUG 404 Item 2 ) --------------------------------------------- [01/08/03]
Subject: ( ESNUG 403 #6 ) We Like Chrysalis As Our Gold Model vs. Formality
> We also used to use Formality but got sick of the bugs and decided to dump
> it in favor of something else. We tried out both Verplex Tuxedo & Mentor
> FormalPro. ... but I do recommend anyone looking into a formal tool to
> consider the Mentor FormalPro tool.
>
> - Russ Petersen
> Scientific Atlanta
From: Luis Basto <luis.basto by moomoomoo aannaalloogg fraught calm>
Hi, John,
We looked briefly at Formality and found it failed some modules that
passed Chrysalis. Since we still treat Chrysalis as the "golden model",
we are rating Formality lower. Caveat: we don't have as much experience
or spent as much time with Formality so we are still evaluating it.
- Luis Basto
Analog Devices Austin, TX
|
|
