GNAT SAS User's Guide

This is the main documentation for GNAT SAS, a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing.