9 березня 2011 о 18:49 +0000 Florian Schanda написав(-ла): > I would say "This package contains the tools necessary for checking > if programs adhere to the SPARK rules and the tools to show freedom > of runtime exceptions in those programs." > > And then also say: "To compile SPARK programs use any standards-compliant > Ada compiler, such as GNAT." Thanks, I'll use this description.
Attachment:
signature.asc
Description: Digital signature