Update tool_template.md (model-checking#183)

Typo

pr fixes typo found in verification tool template

Resolves #NA

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: gancena

doc/src/tool_template.md

@@ -25,7 +25,7 @@ _Please list the license(s) that are used by your tool, and if to your knowledge
 3. \[and so on...\]
 
 ## Artifacts
-_If there are noteworthy examples of using the tool to perform verificaiton, please include them in this section.Links, papers, etc._
+_If there are noteworthy examples of using the tool to perform verification, please include them in this section.Links, papers, etc._
 
 ## CI & Versioning
 _Please describe how you version the tool and how it will be supported in CI pipelines._