Formal Methods for Dynamical Systems | lit.salon