Mellon

Results: 5624



#Item
11SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA  Abstract. We present an SMT-based symbolic model checking algorithm

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
12Incorporating Side Information in Tensor Completion Hemank Lamba*, Vaishnavh Nagarajan*, Kijung Shin*, Naji Shajarisales* Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA

Incorporating Side Information in Tensor Completion Hemank Lamba*, Vaishnavh Nagarajan*, Kijung Shin*, Naji Shajarisales* Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:47:55
13From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

From Underapproximations to Overapproximations and Back! 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
14HOST RELEASE FORM I want to participate in the Carnegie Mellon University Africa (“CMUAfrica”) Host Family Program as a host. I understand that, as a host, I will be matched with a foreign student(s) for the purpose

HOST RELEASE FORM I want to participate in the Carnegie Mellon University Africa (“CMUAfrica”) Host Family Program as a host. I understand that, as a host, I will be matched with a foreign student(s) for the purpose

Add to Reading List

Source URL: www.africa.engineering.cmu.edu

Language: English - Date: 2018-09-12 05:46:12
15δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
16Maximizing the Spread of Positive Influence by Deadline Hemank Lamba, Jürgen Pfeffer Carnegie Mellon University {hlamba,jpfeffer}@cs.cmu.edu

Maximizing the Spread of Positive Influence by Deadline Hemank Lamba, Jürgen Pfeffer Carnegie Mellon University {hlamba,jpfeffer}@cs.cmu.edu

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:49:21
17Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1  Carnegie Mellon University

Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

Add to Reading List

Source URL: www.falkhowar.de

Language: English - Date: 2018-09-30 08:43:02
18Carnegie Mellon University Africa Department Information and Communication TechnologyRwanda 2018‐2019 Handbook  Master’s Degree in Information Technology (MSIT)

Carnegie Mellon University Africa Department Information and Communication TechnologyRwanda 2018‐2019 Handbook Master’s Degree in Information Technology (MSIT)

Add to Reading List

Source URL: www.africa.engineering.cmu.edu

Language: English - Date: 2018-09-12 05:46:12
19SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA  Abstract. We present an SMT-based symbolic model checking algorithm

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
20BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

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

Add to Reading List

Source URL: arieg.bitbucket.io

Language: English - Date: 2018-10-19 18:15:18