fmtools/content
1
0
Fork 0
Code Issues 20 Pull Requests Actions Packages Releases Wiki Activity

Fix #4

Browse Source
This commit is contained in:
Landon Taylor
2025-06-23 13:45:09 -06:00
parent 67276e8e46
commit 691fc05f9a
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
about.md
View File

@@ -4,8 +4,7 @@ subtitle = 'Learn more about the Formal Methods Tools project'
date = 2025-06-07
+++
The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.
The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. The goal of this website is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.
## Key Objectives