Skip to content

BerkeleyLearnVerify/ULGEN

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems

Supplementary Material Submission

This repository contains all the supplementary material for ULGEN. It consists of the following two directories.

  • repo: This directory contains the ULGEN repository. ULGEN repository contains the modified P compiler, a library for interfacing Reelay with ULGEN, installation instructions, the source code for all the case studies presented in the paper, implementation details of the case studies, and instructions for reproducing the case studies.
  • videos: This directory contains videos of all case studies presented in the paper.

Please consult README.md files provided in each directory for further details.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published