A real time inference engine for temporal logical specifications
Enables easy experimentation with state of the art algorithms
A tool for finite state machine analysis and synthesis.
Creates and operates a stepped state machine
Workflow Designer, Hive Editor, Pig Editor, File System Browser