Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

formal methods

You are here: irt.org | FOLDOC | formal methods

<mathematics, specification> Mathematically based techniques for the specification, development and verification of software and hardware systems.

Referentially transparent languages are amenable to symbolic manipulation allowing program transformation (e.g. changing a clear inefficient specification into an obscure but efficient program) and proof of correctness.

Oxford FM archive (http://comlab.ox.ac.uk/archive/formal-methods.html).


Nearby terms: FORMAL « formal argument « Formal Description Technique « formal methods » Formal Object Role Modeling Language » formal review » format

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb