r9y-map


Project maintained by r9y-dev Hosted on GitHub Pages — Theme by mattgraham

Formal Methods (eg TLA+)

The introduction of a validation or analysis system to ensure algorithms and software actually accomplish their desired outcome, without hidden failure modes or unexpected behavior.

Related Products:

Prerequisites:

Next:

Related Terms: