||Pages in this category should be moved to subcategories where applicable.
This category may require frequent maintenance to avoid becoming too large. It should directly contain very few, if any, articles and should mainly contain subcategories.
|Wikimedia Commons has media related to Formal methods.|
Formal methods are mathematical approaches to software and hardware computer-based system development from requirements, specification and design through to programming and implementation. They form an important theoretical underpinning for software engineering, especially where safety or security is involved. Formal methods are a useful adjunct to software testing since they help avoid errors and can also give a framework for testing. For industrial use, tool support is required.
This category has the following 18 subcategories, out of 18 total.
- ► Logical calculi (4 C, 34 P)
- ► Formal methods organizations (9 P)
- ► Z notation (18 P)
- ► Formal methods stubs (36 P)
Pages in category "Formal methods"
The following 99 pages are in this category, out of 99 total. This list may not reflect recent changes (learn more).
- Satisfiability modulo theories
- Semantics (computer science)
- Set theory
- SIGNAL (programming language)
- SLAM project
- Sneak circuit analysis
- Software development process
- State space enumeration
- Static timing analysis
- Statistical static timing analysis
- Strict function
- Stuttering equivalence
- Symbolic simulation
- Syntactic methods