3 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Sidney Amani, Peter Chubb, Alastair F. Donaldson +3
We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver…