GitHub repository: thpani/kripkebuilder
Primary language: JavaScript
Created: 2016-03-22T16:09:42Z
Description: Interactive frontend for manipulating kripke structures and evaluating temporal logic formulae.