Category:Formal methods

Articles in this category should be moved to subcategories when appropriate.
This category may require frequent maintenance to avoid becoming too large. It should list very few, if any, article pages directly and should mainly contain subcategories.

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.

Subcategories

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

A

[+] Automated theorem proving (1 C, 23 P)

C

[+] Computational models (10 C, 86 P, 9 F)

L

[+] Logical calculi (3 C, 27 P)

Z

[+] Z notation (15 P)

µ

[+] Formal methods stubs (51 P)

Pages in category "Formal methods"

The following 105 pages are in this category, out of 105 total. This list may not reflect recent changes (learn more).

Formal methods

A

B

C

D

E

F

F cont.

G

Guard (computing)

H

I

L

M

O

Oracle Unified Method

P

P cont.

Q

QED manifesto

R

S

T

U

V

W

Weakest precondition

Media in category "Formal methods"

The following 8 files are in this category, out of 8 total.

UML state machine Fi... 10,434 bytes	UML state machine Fi... 10,196 bytes	UML state machine Fi... 6,478 bytes	UML state machine Fi... 9,090 bytes
UML state machine Fi... 12,480 bytes	UML state machine Fi... 7,219 bytes	UML state machine Fi... 8,802 bytes	UML state machine Fi... 5,463 bytes

Hidden categories: Categories requiring diffusion

stock | retire | vm
Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History