Difference between revisions of "ITL Windows Build"

From CSLabsWiki
Jump to: navigation, search
(It's not "Github VC", jesus)
(Use class name)
Line 78: Line 78:
 
[http://www.cutepdf.com/ CutePDF]
 
[http://www.cutepdf.com/ CutePDF]
  
===Model Verification===
+
===Formal Methods (CS458) tools===
 
[http://z3.codeplex.com/ Z3]
 
[http://z3.codeplex.com/ Z3]
  

Revision as of 13:50, 27 July 2015

ITL Windows Build
Contact Person: Graham Northup
Last Update: January 2014
Services: Windows Image for ITL

Request for Programs and Setting Changes

Please place request between the <code> & </code> marks on the edit page.
herp the derp

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

Git

TortoiseSVN

Utilities

7-Zip

PuTTY

WinSCP

CutePDF

Formal Methods (CS458) tools

Z3

VCC

Alloy

NuSMV

Misc

CCleaner

Dia

GIMP

Python

WireShark