GitHub repository: jtward/CTL
Primary language: JavaScript
Description: A CTL model checker