This repository contains information related to the tool TSmart presented in Foundations of Software Engineering, 2014. The tool was originally presented in the paper Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
This repository is not the original repository for this tool. Here are some links to the original project:
In this repository, for TSmart you will find:
- ❌ Source code (not available)
- ❌ Executable tool (not available)
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Nitish Limaye under the supervision of Emerson Murphy-Hill. Thanks to Yu Jiang for his help in establishing this repository.