Jump to content

Category:Formal methods tools

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Amcl (talk | contribs) at 19:01, 21 March 2007 (re-categorisation per CFD using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Software tools to aid formal methods.

Subcategories

This category has the following 4 subcategories, out of 4 total.

M

Model checkers (17 P)

S

SAT solvers (7 P)
Satisfiability modulo theories solvers (3 P)

T

Theorem proving software systems (2 C, 17 P)

Pages in category "Formal methods tools"

The following 23 pages are in this category, out of 23 total. This list may not reflect recent changes.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Formal_methods_tools&oldid=116843151"