TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...