High Integrity Software (Hardcover)

Preface. Part I: General Applications of Formal Methods and Systems. 1. Designware: Software Development by Refinement; D.R. Smith. 2. B: Towards Zero Defect Software; I. Sorensen, D. Neilson. 3. The Use of B to Specify, Design and Verify Hardware; W. Ifill, et al. 4. A System for Predictable Component-Based Software Construction; M. Aronszajn, et al. 5. Autonomous Decentralized Systems; K. Mori. Part II: Case Study. 6. Bay Area Rapid Transit System Case Study; V.L. Winter, et al. 7. Using SCR to Specify the BART Requirements; C. Heitmeyer. 8. Domain Language for a Class of Reactive Systems; D. Kapur, V.L. Winter. 9. Refinement-based Derivation of Train Controllers; V.L. Winter, et al. Part III: Verification and Validation. 10. Validation of a Relational Program; F.B. Bastani, et al. 11. Verification of a Controller for BART; L. King, et al. 12. Using Virtual Reality to Validate System Models; V.L. Winter, T.P. Caudell. Index.