Foster, Simon

1. Certifying Differential Equation Solutions from Computer Algebra Systems\n in Isabelle/HOL
   2021/02/04 by Thomas M. Hickman, Hickman, Thomas, Christian Pardillo Laursen +4 · 1 citation
   Computer Science · #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Modeling and Simulation Systems #Polynomial and algebraic computation
2. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
   2021/05/11 by Foster, Simon, Hur, Chung-Kil, Woodcock, Jim · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Brownian Motion in Isabelle/HOL
   2024/10/13 by Laursen, Christian Pardillo, Foster, Simon, Post, Mark · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
   2024/08/28 by Foster, Simon, Hur, Chung-Kil, Woodcock, Jim · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)