Research output per year
Research output per year
Search results
-
2022
Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2020
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
Foster, S. D. & Baxter, J., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Springer, 16 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Munive, J. H. Y., Struth, G. & Foster, S. D., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Springer, 16 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2019
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile