GitHub repository: vtramo/rtl-mc
Primary language: C++
Description: Model Checking Linear Temporal Properties on Polyhedral Systems - Master's Thesis in Computer Science