Modelling of the Environment of Linux Operating System Drivers for Their Static Verification


Modelling of the Environment of Linux Operating System Drivers for Their Static Verification

Ilya Zakharov. Starts at January 22, 2013.

The presentation of the report can be found here.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS