Preface.- Introducing Abstract Machines.- Review of Set Theory and Logic.- Weakest Preconditions.- Towards Machine Consistency.- Parameters, Sets and Constants.- Relations.- Functions and Sequences.- Arrays.- Nondeterminism.- Structuring with INCLUDES.- Structuring with SEES and USES.- Data Refinement.- Refinement of Nondetermnism.- Proof Obligations for Refinements.- Loops.- Implementation Machines.- Case Study: Heapsort.- Library Machines.- Answers to SelfTests.- Appendix A: Generalised Substitution Language.- Appendix B: Machine Readable AMN .- Index.- Index of Machines.
'For a typically structured UK third year, one-semester undergraduate course, Steve Schneider's book with its supporting material offers a product that a lecturer can simply take out of the box and use directly. The completeness and thoroughness of coverage are very impressive, and the clarity of the exposition is exceptional. This book could go a long way towards making the B-Method more accessible to a wider range of computer science students than has been the case hitherto, and I can recommend it with enthusiasm.' - Richard Banach, Manchester University, The Journal of Software Testing, Verification and Reliability
STEVE SCHNEIDER is a senior lecturer in the Department of Computer Science, Royal Holloway, University of London. He has taught the B-method at undergraduate and postgraduate level over a number of years, and has published papers on B at international formal methods conferences and workshops.
'For a typically structured UK third year, one-semester undergraduate course, Steve Schneider's book with its supporting material offers a product that a lecturer can simply take out of the box and use directly. The completeness and thoroughness of coverage are very impressive, and the clarity of the exposition is exceptional. This book could go a long way towards making the B-Method more accessible to a wider range of computer science students than has been the case hitherto, and I can recommend it with enthusiasm.' - Richard Banach, Manchester University, The Journal of Software Testing, Verification and Reliability
Ask a Question About this Product More... |