Showing page 1 of 1.
This is a Perl distribution for Windows. It comes with a C/C++ compiler and EPIC IDE. Distribution features include installer, its own formatted help system and several additional modules already installed.5 weekly downloads
TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE1 weekly downloads