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