Simon David Foster

Search results

• 2024

  Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

  Foster, S., Hur, C.-K. & Woodcock, J., 28 Aug 2024, Arxiv (Cornell University).

  Research output: Working paper › Preprint

  File
• 2023

  Formally Verified Animation for RoboChart using Interaction Trees

  Ye, K., Foster, S. & Woodcock, J., 16 Mar 2023.

  Research output: Working paper › Preprint

  File
• 2020

  Automated Verification of Reactive and Concurrent Programs by Calculation

  Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020.

  Research output: Working paper › Preprint

  File