The quintessential site:

• The World Wide Web Virtual Library Formal Methods

Informative sites and special sites:

• Forum On Risks To The Public In Computers And Related Systems
• Wikipedia entry on 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

© 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: March 26, 2007 19:10. MT