This paper describes an ongoing eeort to verify the cache coherence protocol of the IEEE/ANSI Standard for Scalable Coherent Interface using the Mur' veriication system. A model of the typical set protocol was constructed in the Mur' description language. This model was augmented with a speciication of properties necessary for cache coherence. The Mur' veriication system automatically checks if...

This paper describes an ongoing eeort to verify the cache coherence protocol of the IEEE/ANSI Standard for Scalable Coherent Interface using the Mur' veriication system. A model of the typical set protocol was constructed in the Mur' description language. This model was augmented with a speciication of properties necessary for cache coherence. The Mur' veriication system automatically checks if...

We investigate the neutral Higgs sector of the minimal supersymmetric standard model in explicit CP violation scenario. Within the context of the effective potential formalism, the masses of the neutral Higgs bosons at the one-loop level are calculated by taking into account the contributions of the following loops of ordinary particles and superpartners: top quark, the scalar top quarks, botto...