Merge branch 'main' into c-0013-yenyunw-cstr

Author: Yenyun035

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._