Abstract :
Researchers are working on software to make it easier to check safety-critical software for bugs and timing problems. The problem that faces developers of software for systems such as antilock braking controllers and airbag detonators is that a fault may not be a bug that can be picked up using standalone tests. Often, faults may be caused by timing problems.
