Constance Heitmeyer
Naval Research Laboratory, USA
heitmeyer@itd.nrl.navy.mil
Abstract
To facilitate analysis of requirements specifications for properties of interest, we have developed a number of tools, including a consistency checker for checking well-formedness and a simulator. We have also integrated a model checker, a theorem prover, and an invariant generator into the toolset. This talk describes our experiences applying these tools to two practical systems.
Last Updated: May 29, 2000 by Elisabetta Ferrando