GitHub repository: ERAS-Research/caveat
Primary language: Python
Description: Framework for Context-Aware Verification, Emulation, and Training