SYMBOLARIS

From this page, you will find analysis tools for various classes of problems, mostly in systems analysis. The most exciting ones are theorem provers and similar verification tools related to hybrid systems... André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.

Primary location: Karlsruhe Germany