Carnegie Mellon University - PDFSEARCH.IO - Document Search Engine

Carnegie Mellon University
Results: 4001

#	Item
1	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 Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Student exchange Education Culture Human behavior Carnegie Mellon University Carnegie Mellon Silicon Valley International student Host family Kigali
2	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Computing Software engineering Computer programming Carnegie Mellon University Carnegie Mellon Silicon Valley Abstract interpretation Mellon Scala Refinement
3	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
4	Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 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
5	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 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
6	BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Systems science Carnegie Mellon University Systems engineering Systems theory Cyberwarfare Software Engineering Institute System of systems Carnegie Mellon Silicon Valley Software engineering Pittsburgh Science and technology in the United States
7	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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
8	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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
9	STUDENT PARTICIPANT RELEASE FORM I want to participate in the Carnegie Mellon University Africa “CMU-Africa” Host Family Program. I understand that I will be matched with a host or host family from the Kigali area t Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon University Host family
10	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Software engineering Theoretical computer science Formal methods Computing Computer science Computer security Model checking Verification Formal verification Carnegie Mellon University Proof-carrying code Software Engineering Institute