Learn More
[17] J S. Moore. Mechanically veried hardware implementing an 8-bit parallel io byzantine agreement processor.mal system design-interactive synthesis based on computer-assisted formal reasoning. [10] M.J.C. Gordon. Why higher-order logic is a good formalism for specifying and verifying hardware. A Formal HDL and its use in the FM9001 Verication Technical(More)
We give combinatorial proofs of three identities, each of which generalizes Weyl's denominator formula for two of the three root systems Bn, Cn, Dn. Two of the three identities are due to S. Okada; the third appears in the author's doctoral thesis, upon which this work is based. Each of the identities we prove has a \sum side" and a \product side"; both(More)
(NRRI) with funding provided by participating member commissions of the National Association of Regulatory Utility Commissioners (NARUC). The views and opinions of the author do not necessarily state or reflect the views, opinions, or policies of the NRRI, NARUC, or NARUC member commissions. The Safe Drinking Water Act Amendments of 1996 made fundamental(More)
(NRRI) with funding provided by participating member commissions of the National Association of Regulatory Utility Commissioners (NARUC). The views and opinions of the authors do not necessarily state or reflect the views, opinions, or policies of the NRRI, NARUC, or NARUC member commissions. Nor do they state or reflect favor of any particular product,(More)
  • 1