Minika Saksena

Learn More
In this paper we present techniques for constructing Z speciications from the analysis and design models of the Fusion method. We show how the speciications can be used to more closely tie the Fusion models together. In particular, we outline how the speciications can be used to support rigorous veriication of Fusion design models against analysis models.
  • 1