2 code implementations • 4 Feb 2021 • Thomas Hickman, Christian Pardillo Laursen, Simon Foster
However, Isabelle lacks automated proof support for continuous artifacts, which means that verification is often manual.
Logic in Computer Science Dynamical Systems