file extension STC - StateClock file
File extension STC description:
File extension used by StateClock.
Associated applications to file extension STC:
Company / developer:
---
StateClock
StateClock is a tool for constructing systems consisting of reactive modules. This allows the user to model a real world problem by using StateClock and the rules of temporal logic. StateClock converts the user's model, consisting of reactive modules, into a fair transition system. The user also creates a specification file, which represents the requirements that user feels the model should meet.

