Arie

Results: 427



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

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
2The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1  3

The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
3Algorithmic Logic-Based Verification  Arie Gurfinkel Temesghen Kahsai

Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
4Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1  ETH Z¨

Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
5The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1  3

The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
6The XY Oracle Network: The Proof-of-Origin Based Cryptographic Location Network Arie Trouw ∗, Markus Levin †, Scott Scheper ‡

The XY Oracle Network: The Proof-of-Origin Based Cryptographic Location Network Arie Trouw ∗, Markus Levin †, Scott Scheper ‡

Add to Reading List

Source URL: icorating.com

Language: English - Date: 2018-03-19 09:28:54
7Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software

Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software

Add to Reading List

Source URL: arieg.bitbucket.io

Language: English - Date: 2018-10-19 18:15:18
8A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International  SAS’17, August 30th, 2017

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
9Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

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
10A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1  University of Waterloo (Canada)

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21