Power to the People. Verified.

An ERC Advanced Grant

POWVER is a five-year project at the Chair of Dependable Systems and Software at Saarland University, Saarbrücken, Germany,  funded by a 2.4 m€ Advanced Investigators Grant from the ERC, the European Research Council. It is led by Holger Hermanns.

POWVER started on September 1, 2016.

Read on if you want to learn what the POWVER project is about.

News

• A landmark in the Land of Ideas

  05/06/2018

  POWVER has been acclaimed “Ausgezeichneter Ort im Land der Ideen“!  

• Draisine 200.0 goes public

  07/06/2017

  In honor of Karl Drais’ 1817 invention, we release our first demonstrator for the POWVER project: Draisine 200.0 is a wooden bicycle with 21st century enhancements, built to serve as a testbed for automatically verifying properties of motor control software.

• FM 2016 best paper award

  14/11/2016

  Our work on battery-aware scheduling for nano satellites wins the best paper award at the 21st International Symposium on Formal Methods.