TY  - RPRT
TI  - Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
AU  - Simon Foster
AU  - Chung-Kil Hur
AU  - Jim Woodcock
PY  - 2024
UR  - https://arxiv.org/abs/2408.15817
ID  - 2408.15817
ER  -