Research report 2017 - Max Planck Institute for Software Systems, Saarbrücken site

From Newton to Turing to cyber-physical systems: exploring some of the fundamental problems in theoretical computer science

Ouaknine, Joël
Max-Planck-Institut für Softwaresysteme, Standort Saarbrücken, Saarbrücken
Enabling engineers and programmers to automatically verify the correctness of the computer systems that they design is one of the Grand Challenges of computer science. The Foundations of Algorithmic Verification group focuses on a series of fundamental algorithmic problems for dynamical systems, with the overarching goal of offering a systematic exact computational treatment of various important classes of such systems and other fundamental models used in mathematics, computer science, and the quantitative sciences.

For the full text, see the German version.

Go to Editor View