Critical Software Products

Home

The quintessential 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
IEEE 1850 PSL		Property Specification Language

Formal Mathematics Notations I think are better than most

► ACL2

► Z (Pronounced 'Zed')

► Z Tools

Emendo Ex Erratum

© 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.