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
POWVER has been acclaimed “Ausgezeichneter Ort im Land der Ideen“!
-
Draisine 200.0 goes public
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
Our work on battery-aware scheduling for nano satellites wins the best paper award at the 21st International Symposium on Formal Methods.