<--- Back to Details
First PageDocument Content
Carnegie Mellon University / Software Engineering Institute / Carnegie Mellon Silicon Valley / Software engineering / Mellon / Pittsburgh
Date: 2018-10-19 18:15:18
Carnegie Mellon University
Software Engineering Institute
Carnegie Mellon Silicon Valley
Software engineering
Mellon
Pittsburgh

Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1

Add to Reading List

Source URL: arieg.bitbucket.io

Download Document from Source Website

File Size: 2,21 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