%-
% ABSTRACT
%-
%
\Abstract{Software testing, validation, and measurable quality metics are an important element in modern software development.
LongBow is a software framework and facility for writing software using invariants, runtime validation, unit testing, and code analysis for the C programming language.
}