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
Max-Planck-Institut für Softwaresysteme, Standort Saarbrücken, Saarbrücken
SummaryEnabling 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.