Welcome to the Formal Methods Wiki

Researchers and practitioners in the area of formal methods are welcome to post relevant information relating to formal methods on this wiki. Other spam material is not welcome and will be deleted.