Chaki - PDFSEARCH.IO - Document Search Engine

Chaki
Results: 27

#	Item
1	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
2	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 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
3	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 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
4	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 Functions and mappings Function Graph of a function Abstraction Structure
5	UFO: Verification with Interpolants and Abstract Interpretation 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 Compilers LLVM Carnegie Mellon University Unidentified flying object Mellon Carnegie Arie Software
6	A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS Add to Reading List Source URL: www.cs.cmu.edu - Date: 2005-05-24 15:53:16
7	Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che Add to Reading List Source URL: www.cs.cmu.edu - Date: 2013-06-08 14:51:39
8	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: www.cs.cmu.edu - Date: 2014-08-20 17:05:42
9	Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU Add to Reading List Source URL: mys5.org - Date: 2016-07-21 00:38:00
10	Strategyproof Computing: Systems Infrastructures for Self-Interested Parties Chaki Ng, David C. Parkes, and Margo Seltzer Division of Engineering and Applied Sciences Harvard University Cambridge, MA 02138 Add to Reading List Source URL: netecon.seas.harvard.edu Language: English - Date: 2009-11-30 14:32:02 Game theory Mechanism design Decision theory Gaming Information Vickrey auction Strategyproofness Incentive compatibility Grid computing Distributed computing Social peer-to-peer processes Algorithmic mechanism design

UPDATE