The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Dealing with I/O devices in the context of pervasive system verification
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
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-and-pencil solution for this problem and report on the status of the formal verification. This work is part of the Verisoft project. 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.
How it got here
How it got here
agent via openalex
Added
2026-10-25 15:49 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{hillebrand2005dealing,
title = {Dealing with I/O devices in the context of pervasive system verification},
author = {Mark A. Hillebrand and Tom In der Rieden and W. J. Paul},
year = {2005},
journal = {Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {309--316},
doi = {10.1109/iccd.2005.42},
}