High-Integrity Software

Formal specification and implementation, C.T.Sennett designing for high integrity - the software fault tolerance approach, M.R.Moulding practical experience with formal verification system, Paul Smith and Nick Bleech reliable programming in standard languages, Bernard Carre new speak - a reliable programming language, I.F.Currie program analysis and systematic testing, M.A.Hennell program analysis and verification, Bernard Carre the algebraic specification of a target machine - Ten15, J.M.Foster assurance in high-integrity software, John McDermid modelling real-world issues for dependable software, John Dobson contractual specification of reliable software, C.T.Sennett.