Abstract
The Atomic Weapons Establishment (AWE) has been responsible for the United Kingdom’s nuclear deterrent for more than 50 years. Its work covers the entire development lifecycle – from the initial research and design, through manufacture, in- service support and, finally, decommissioning and disposal. In order to maintain its reputation as a world-class company, AWE upholds strict working procedures and demands high standards.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ifill, W.: The Formal Development of an Example Processor in AMN, C and VHDL. Technical report, MSc thesis, Royal Holloway, University of London (1999)
Ifill, W., Schneider, S., Treharne, H.: Annotating B for Control. Technical report (2007)
Ifill, W., Sorensen, I., Schneider, S.: The use of B to specify, design and verify hardware. In: High integrity software, Norwell, MA, USA, pp. 43–62. Kluwer Academic Publishers, Dordrecht (2001)
Sorensen, I.: A Mathematical AMN State Based Description of the ASP. Technical report, AWE (1998)
Treharne, H., Schneider, S.: Using a Process Algebra to Control B Operations. In: IFM 1999: Proceedings of the 1st International Conference on Integrated Formal Methods, London, UK, pp. 437–456. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Evans, N., Ifill, W. (2006). Hardware Verification and Beyond: Using B at AWE. In: Julliand, J., Kouchnarenko, O. (eds) B 2007: Formal Specification and Development in B. B 2007. Lecture Notes in Computer Science, vol 4355. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11955757_24
Download citation
DOI: https://doi.org/10.1007/11955757_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68760-3
Online ISBN: 978-3-540-68761-0
eBook Packages: Computer ScienceComputer Science (R0)