FSE-2014-TSmart

This repository is contains information related to the tool TSmart presented 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: • The Official Project Page, including source code: http://sts.thss.tsinghua.edu.cn/Tsmart-Edola/ • A Video of the Tool: https://www.dropbox.com/sh/b5u0thlknixs1ye/AAAaHPOS0MehA8c-tZ5hYinga?preview=Introductive_vedio_of_Tsmart_Galsblock.wmv In this repository, for TSmart you will find: • A slightly modified version of the tool Nitish Limaye got working (available) This repository was constructed by Nitish Limaye under the supervision of Emerson Murphy-Hill.