2005 International Conference on Computer Design Dealing with I/O Devices in the Context of Pervasive System Verification San Jose, California October 02-October 05 ISBN: 0-7695-2451-6
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.42
Device drivers can be tested and debugged much better with techniques from the field of formal verification than with classical methods. The total verification of drivers together with the underlying hardware, however has remained an unsolved problem. Here we outline a paper-andpencil solution for this problem and report on the status of the formal verification. This work is part of the Verisoft project [18]. In its subproject 2, the seamless verification of the Academic System, comprising hardware, system software and applications, is attempted. We survey the techniques and tools used for program verification in Verisoft.
Citation:
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul, "Dealing with I/O Devices in the Context of Pervasive System Verification," iccd, pp.309-316, 2005 International Conference on Computer Design, 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb