Fang Yan has successfully presented our paper “Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL” at the Seventeenth Conference on Interactive Theorem Proving (a part of the Federated Logic Conference 2026), held in Lisbon, Portugal, on 28 July 2026.
The open access paper is available from here.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
