Abstract
We wish to implement Piton on FM9001. In this chapter we explain how FM9001 works and the sense in which it has been implemented correctly in hardware. This chapter is necessarily only a sketch of a large body of work by Brock and Hunt and reported by them in [7].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
(1996). A Sketch of FM9001. In: Piton. Automated Reasoning Series, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-0-585-33654-1_5
Download citation
DOI: https://doi.org/10.1007/978-0-585-33654-1_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-7923-3920-5
Online ISBN: 978-0-585-33654-1
eBook Packages: Springer Book Archive