Abstract
This paper gives a comprehensive introduction to the B Abstract Machine Notation (AMN), a formal method which is based on Z and which is supported by an industrial quality toolset. The paper describes development techniques for AMN, including the formalization of requirements, specification construction, design and implementation. Results from a large-scale safety-critical development using the method are also given.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
