Formal Methods Laboratory, University of Tehran
University of Tehran's Formal Methods Laboratory, School of Electrical and Computer Engineering
Popular repositories Loading
Repositories
Showing 1 of 1 repositories
- RtC Public
RtC is a tool for conducting a heuristic-based join operation on multiple constraint automata representing operational models in the Reo coordination language.
UT-ECE-FormalMethods/RtC’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…