Solid Software

This text introduces readers to the software assurance and quality issues for critical systems, so that they can make informed choices when they specify a system, evaluate a design, or review test reults. It pays particular attention to issues of quality and robustness.