GitHub repository: Fide2023/system-verification
Primary language: Python
Description: A toy project for the course PA1417 to apply testing techniques.