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

Source URL: arieg.bitbucket.io

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

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

Source URL: arieg.bitbucket.io

• 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

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• 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

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• 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

From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Cyberwarfare
• Software Engineering Institute
• Mellon
• Software engineering
• Carnegie
• Pittsburgh

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

DIPHONE COLLECTION AND SYNTHESIS
Kevin A. Lenzo , Alan W Black International Software Research Institute, Language Technologies Institute, Carnegie Mellon University,

Source URL: www.cs.cmu.edu

Bin He, Professor and Head Department of Biomedical Engineering, Carnegie Mellon University Ph.D., 1988, Tokyo Institute of Technology; Postdoc, Harvard University - M.I.T. Professor Bin He’s research is centered aroun

Source URL: www.bme.cmu.edu

Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University

Source URL: s3.amazonaws.com