High Integrity Software This text provides an accessible introduction to the SPARK programming language. The CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice. Full description