Verification of the Linux Operating System Drivers Using Predicate Abstraction


Verification of the Linux Operating System Drivers Using Predicate Abstraction

Vadim Mutilin. Starts at October 09, 2012.

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