|
|
||
|
Dependable systems are needed throughout the world especially where any errors could cause loss of life. Examples are Airlines, Power Stations, Railway signaling etc. |
||
|
|
||
|
Universities and Colleges throughout the world are doing research in this field and are providing courses to teach areas like formal methods in system specification & design. |
||
|
Visit this list of Academic web sites for more information. |
||
|
|
||
|
Companies for which safety critical systems are an issue are involved in using formal methods for system specification & design this includes research and development in this field. |
||
|
Visit this list of Commercial web sites for more information. |
||
|
|
||
|
Some government organisations fund research and development in this field they can also be involved in a similar way as private companies are. |
||
|
Visit this list of Government Organisation web sites for more information. |
||
