Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL.

Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff

Browse the full ITP paper archive.