VeriSoft Info for Lucent Employees Only

If you plan to use VeriSoft, or would like to have any additional information, please let us know contact the authors (see [Contact us!]).

We will inform you of new developments concerning the VeriSoft toolset and other related projects.
We can evaluate with you whether VeriSoft is appropriate for your application domain. Even if it turns out that VeriSoft does not match your needs, we might have other testing/verification paradigms/tools suitable for you, or your needs might motivate new research projects. Do not hesitate to challenge us!
We can customize VeriSoft to your specific working environment (e.g., build new libraries of communication objects to meet your specific needs, integrate VeriSoft in your favorite development/testing environment, etc.).
We can provide training on how to use VeriSoft effectively.
We can analyze with you some of your applications, to help transfering this technology to your organization.

Please contact us for any information concerning the above services.

Examples of applications in Lucent:

4ESS Heart-Beat Monitor debugging and unit testing (switch maintenance; see [Documentation])
WaveStar 40G R4 integration and system testing (network management)
7R/E PacketStar Gateway Solutions Feature Server unit testing
CDMA Cell-Site Call Processing Library testing (see how to run VeriSoft in COOL on Lucent's intranet for more information on this project)