TY - GEN
T1 - Code, Models, and Verification Evidence for: A Compositional Approach to Verifying Modular Robotic Systems
AU - Luckcuck, Matt
AU - Farrell, Marie
AU - Ferrando, Angelo
AU - Cardoso, Rafael C.
AU - Dennis, Louise
AU - Fisher, Michael
PY - 2023/11/28
Y1 - 2023/11/28
N2 - 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.
AB - 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.
U2 - 10.5281/zenodo.6941344
DO - 10.5281/zenodo.6941344
M3 - Other contribution
ER -