Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

Hardware

Acoustic touch: Vision via sound for the blind

Australian researchers have developed cutting-edge technology known as "acoustic touch" that helps people "see" using sound. The technology has the potential to transform the lives of those who are blind or have low vision.

page 32 from 40