Code, Models, and Verification Evidence for: A Compositional Approach to Verifying Modular Robotic Systems

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise Dennis, Michael Fisher

Research output: Other contributionpeer-review

Abstract

This repository contains program code, formal models, and other verification evidence for the paper A Compositional Approach to Verifying Modular Robotic Systems by by Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, and Michael Fisher. The section numbers in the title of each directory refer to the section of the paper that they are related to, each contains a more detailed README.md that describes its contents.
Original languageUndefined
DOIs
Publication statusPublished - 28 Nov 2023

Cite this