Warren A. Jr. Hunt - Böcker
Visar alla böcker från författaren Warren A. Jr. Hunt. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Formal Methods in Computer-Aided Design
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Häftad, Engelska, 2000
1 096 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000. The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.
552 kr
Skickas inom 10-15 vardagar
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now employed by the author. The original version of this monograph was submitted as a dissertation at the University of Texas at Austin under the advisorship of R. Boyer and J. Moore.