ProgLab.NET: A Workbench for Ensuring the Quality and Reliability of Embedded SoftwareProf. Dr. Martin Odersky Prof. Dr. Thomas Henzinger Prof. Dr. Viktor Kuncak Embedded control systems are also used increasingly in safety-critical applications such as medical implants, automobiles (drive-by-wire) and aircraft (fly-by-wire). Since such systems must be able to operate with absolute reliability, their prior verification has become a central concern. Dubbed ProgLab.NET, this project is to develop a so-called workbench that can be shared by both application programmers and verification tool developers. The results obtained with ProgLab.NET will be available to the software developer in a uniform way via a plugin for an IDE (Visual Studio) .