Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.
Saved in:
| Title: | Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. |
|---|---|
| Authors: | Foster, Simon1, simon.foster@york.ac.uk, Hur, Chung-Kil2, gil.hur@sf.snu.ac.kr, Woodcock, Jim3, jim.woodcock@york.ac.uk |
| Source: | ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/3702981 |
