no code implementations • 16 Mar 2023 • Kangfeng Ye, Jim Woodcock, Simon Foster
Our work in essence is based on Hehner's predicative probabilistic programming, but there are several obstacles to the wider adoption of his work.
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
no code implementations • LREC 2016 • Tilia Ellendorff, Simon Foster, Fabio Rinaldi
We present the first version of a corpus annotated for psychiatric disorders and their etiological factors.