McSCert develops tools and methods to create certifiably safe, secure and dependable software.
This work is urgently needed for software-intensive mission-critical systems where software failure can have devastating physical, financial or political consequences.
Software is used to control medical devices, automobiles, aircraft, manufacturing plants, nuclear generating stations, space exploration systems, elevators, electric motors, trains, banking transactions, telecommunications devices and a growing number of devices in industry and in our homes.