Research Director

Kohei Suenaga

Graduate School of Informatics, Kyoto University
Associate Professor
website

Outline

This project aims at a verification framework for hybrid systems (i.e., systems whose behavior is characterized by both continuous and discrete quantities). Concretely, we aim at (1) methods for modeling and formally verifying hybrid systems based on mathematical logic and programming-language-theoretic ideas (e.g., invariant-discovery techniques) and (2) implementing a verification tool for large-scale hybrid systems based on the theoretical foundation of (1).