Difference between revisions of "ITL Windows Build"

From CSLabsWiki
Jump to: navigation, search
m (fix)
(Model Verification)
Line 75: Line 75:
 
[http://z3.codeplex.com/ Z3]
 
[http://z3.codeplex.com/ Z3]
  
[http://research.microsoft.com/en-us/projects/vcc/ VCC]
+
[https://vcc.codeplex.com/ VCC]
  
 
[http://alloy.mit.edu/alloy/ Alloy]
 
[http://alloy.mit.edu/alloy/ Alloy]

Revision as of 10:34, 20 August 2014

ITL Windows Build
Contact Person: Alex Hurd
Last Update: January 2014
Services: Windows Image for ITL


Programs

Math Tools

R

MEGA6

Maple 17

MATLAB R2013b

IBM SPSS Statistics

Text Editors

Notepad++

Crimson Editor

IDEs

Eclipse

Netbeans

Code::Blocks

Visual Studio

Web Browsers

Firefox

Google chrome

Firebug Extension

Silverlight Multimedia Extension

Office

TeX Live

LibreOffice 4.1

Microsoft Office 2010

VM Tools

VirtualBox

VMWARE Player 6

Version Control

Github VC

TortoiseSVN

Utilities

7-Zip

PuTTY

WinSCP

CutePDF

Model Verification

Z3

VCC

Alloy

NuSMV

Misc

Dia

GIMP

Python

WIRESHARK