Category:Formal Method

From PKC

Revision as of 08:52, 19 July 2021 by Benkoo (talk | contribs)

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

Jump to navigation Jump to search

Formal method is a computational technique to analyze computer programs.

References

Subcategories

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

A

Abstract Interpretation‎ (1 C, 27 P)

L

Logic Model‎ (113 P)

N

Namespace Management‎ (6 C, 5 P)

U

Universal Data Abstraction‎ (4 C, 8 P)

Pages in category "Formal Method"

The following 16 pages are in this category, out of 16 total.

A

Abstract Interpretation

B

C

Category Theory

F

Formal method

J

Joakim von Wright

P

Paper/Unifying theories of reactive design contracts

R

S

T

Thesis/On the Correctness of Refinement Steps in Program Development

Retrieved from "https://pkc.pub/index.php?title=Category:Formal_Method&oldid=6187"

Compiler