Wikipedia has many excellent resources on formal methods. Some starting points are linked below. However, information in Wikipedia↑ articles must be notable and verifiable. Much formal methods↑ information may be considered too detailed for Wikipedia. If so, the Formal Methods Wiki is available for such information. Any articles and material on formal methods is encouraged on this wiki↑. Articles will only be deleted if they are not relevant to formal methods in the broadest sense.