Produktbild
Graham (Hrsg.) Birtwistle

Current Trends in Hardware Verification and Automated Theorem Proving

Ebook (PDF Format)

This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth 'RSRE') for use in safety-critical applications such as civil aviation and nuclear power plant control. It is currently finding uses in areas such as the de­ ployment of weapons from tactical aircraft. To support safety-critical applications, Viper has a particulary simple design about which it is relatively easy to reason using current techniques and models. The designers, who deserve… Mehr

CHF 124.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Subrahmanyam, P. A. (Hrsg.)
  • ISBN: 978-1-4612-3658-0
  • EAN: 9781461236580
  • Produktnummer: 38251266
  • Verlag: Springer New York
  • Sprache: Englisch
  • Erscheinungsjahr: 2012
  • Seitenangabe: 489 S.
  • Plattform: PDF
  • Auflage: 1989

7 weitere Werke von Graham (Hrsg.) Birtwistle:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.