Minor Formatting/Typo Updates from Tools Training

Author: dm-at-ada

courses/gnatdas/cover_010_overview.rst

@@ -58,7 +58,7 @@ Coverage Data Gathering
 
   * :dfn:`Binary traces`
 
-    * Produced by instrumented execution environment with unmodifed version of program.
+    * Produced by instrumented execution environment with unmodifed version of program
     * Traces contain low level information about executed blocks of machine instructions
 
   * :dfn:`Source traces`

courses/gnatsas/010_course_overview.rst

@@ -64,7 +64,7 @@ What Is Static Analysis?
 + *May* be exhaustive
 
   + All possible errors are reported
-  + No false negatives; there may be false positives
+  + No false negatives; there *may* be false positives
 
     + If the analyzer does not report a problem, there is no problem
 
@@ -96,7 +96,7 @@ What Is GNAT SAS?
   + Numeric overflows
   + Numeric wraparounds
   + Improper use of Application Programming Interfaces (APIs)
-  + and more
+  + ...and more
 
 ------------------------
 What Does GNAT SAS Do?

courses/gnatsas/metric_010_overview.rst

@@ -713,7 +713,7 @@ Understanding McCabe Complexity
 
   v(G) = E - N + 2 * P
 
-+ Aimed a measuring the complexity of execution paths
++ Aimed at measuring the complexity of execution paths
 + Needs to be adapted for each language
 
 ----------------

courses/gnatsas/sas_020_overview.rst

@@ -159,7 +159,7 @@ Typical Users and Use Cases
 + Reviewers
 
   + **Annotate** code with analysis of potential problems
-  + **Analyse** specific CWE issues
+  + **Analyze** specific CWE issues
 
 + Project managers and quality engineers