Search Results for "state machine"
Sort By:
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