Establishing Linux Driver Verification Process

  title={Establishing Linux Driver Verification Process},
  author={Alexey V. Khoroshilov and Vadim S. Mutilin and Alexandre Petrenko and Vladimir Zakharov},
  booktitle={Ershov Memorial Conference},
Highly Cited
This paper has 42 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Reducer-Based Construction of Conditional Verifiers

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 1 Excerpt

Hardware and Software: Verification and Testing

Lecture Notes in Computer Science • 2016

Similar Papers

Loading similar papers…