Formal Methods

[Craig]

What are your opinions on Formal Methods ? Have you ever studied formal methods, or used them in practice ? Any good references ?

[ShortNBitter]

What are your opinions on Formal Methods ? Have you ever studied formal methods, or used them in practice ? Any good references ?

If anyone else is as confused as I was...

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://www.comlab.ox.ac.uk/archive/formal-methods.html).

[FrankieY18]

what are formal methods? :confused:

[thaite]

Seeing as I have no idea of what you're talking about, I'm gonna say "No."

[Craig]

ShortNBitter posted a link and a concise explanation for those that may be curious about what "Formal Methods" are.

However, I was seeing if somebody, maybe some of the YW old timers (ism, swk, alibaba, wong ba, etc.) had any experience or an informed opinion on the subject.

I posted in the 'technology' section since the subject matter is computer-related.