GitHub repository: GaloisInc/VERSE-OpenSUT
Primary language: C
Description: Open System Under Test (SUT) for the VERSE demonstrator