Ivannikov Institute for System Programming of the RAS


12 October, 2015

5th Linux Driver Verification Workshop took place in Moscow

5th Linux Driver Verification Workshop dedicated to the 10th anniversary of the Linux Verification Center of ISPRAS was held in Moscow, Russia on September 15-18. The workshop was arranged by prof. Alexander Petrenko (Linux Verification Center, ISPRAS, Moscow, Russia) and prof. Dirk Beyer (University of Passau, Germany).

More information can be found here.


All news