Formal Methods Europe

Homepage of FME

Choosing a Formal Method

Choosing a formal method for a given purpose requires a good overview of the available methods, their underlying techniques, tool support and applications. We list here a collection of surveys and evaluation reports that may help in making this decision. Please, note that the opinions and conclusions drawn in these surveys do not necessarily reflect the opinion of FME and its members.