<--- Back to Details
First PageDocument Content
Illinois / Robert R. McCormick School of Engineering and Applied Science / Kellogg School of Management / Medill School of Journalism / Weinberg College of Arts and Sciences / Bienen School of Music / Carnegie Mellon University / Northwestern University School of Continuing Studies / Northwestern University Graduate School / Northwestern University / Higher education / Academia
Date: 2010-08-13 16:30:50
Illinois
Robert R. McCormick School of Engineering and Applied Science
Kellogg School of Management
Medill School of Journalism
Weinberg College of Arts and Sciences
Bienen School of Music
Carnegie Mellon University
Northwestern University School of Continuing Studies
Northwestern University Graduate School
Northwestern University
Higher education
Academia

Add to Reading List

Source URL: www.registrar.northwestern.edu

Download Document from Source Website

File Size: 1,53 MB

Share Document on Facebook

Similar Documents

Student exchange / Education / Culture / Human behavior / Carnegie Mellon University / Carnegie Mellon Silicon Valley / International student / Host family / Kigali

Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin

DocID: 1xW2t - View Document

Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document

Computing / Software engineering / Computer programming / Functional programming / Subroutines / Computability theory / Theoretical computer science / Computer algebra systems / Pattern matching / Wolfram Mathematica / Expr / Anonymous function

An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

DocID: 1xVmH - View Document

Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Formal verification / Satisfiability modulo theories / Abstract interpretation / Loop invariant / Logic programming / Model checking / KeY / Software verification

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

DocID: 1xVaE - View Document

Computing / Software engineering / Computer programming / Methods of proof / Logic in computer science / Pointer / Exec / Counterexample / Objective-C / Model checking / Abstract interpretation / Operational semantics

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

DocID: 1xV3H - View Document