Verifying Reactor Systems This repository hosts the slides and source code produced in the process of verifying reactor systems. Running an LF program Please refer to the LF Wiki for installation instructions. Running a UCLID5 program Please refer to the UCLID5 repo for installation instructions.