Linux drivers verification using predicate abstraction.


Linux drivers verification using predicate abstraction.

Authors

Mutilin Vadim.

Full text of the paper in pdf (in Russian)

Edition

Diss. Institute for System Programming of the Russian Academy of Sciences, 2012.

Research Group

Software Engineering

All publications during 2012 All publications