Critical Software Products

 

 

 

rombul1d

Home

 

 

The quintessential site:

 

Image:FMWiki2.png

Informative sites and special sites:

 

Forum On Risks To The Public
In Computers And Related Systems

rombul1d

Risks that we should all be aware of.

Wikipedia entry on formal methods

rombul1d

So what are formal methods?

FPGA Journal

rombul1d

A Journal of current FPGA technology

Exponential Improvement

rombul1d

Systems Thinking, it's more than you think™

IEEE 1850 PSL

rombul1d

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.