The quintessential site:

New web site for the virtual library on formal methods

Announcement on the change from the old-site

Informative sites and special sites:

Forum On Risks To The Public In Computers And Related Systems	Risks that we should all be aware of.
Wikipedia entry on formal methods	So what are formal methods?
FPGA Journal	A Journal of current FPGA technology
Exponential Improvement	Systems Thinking,  it's more than you think™
Accellera supported IEEE 1850 PSL	Property Specification Language

Formal Mathematics Notations I think are better than most

Alloy

ACL2

Z (Pronounced 'Zed')

© Emendo Ex Erratum.  All content Copyright of Emendo-Ex-Erratum.
Permission is granted to copy content as long as proper credit is given to Emendo-Ex-Erratum.org and the web address is given.
For problems or questions regarding this web go to the Contact page.
Last updated: December 05, 2010 15:52. ET