Arie - PDFSEARCH.IO - Document Search Engine

Arie
Results: 427

#	Item
11	UFO: From Underapproximations to Overapproximations and Back! Arie Gurfinkel (SEI/CMU) with Aws Albarghouthi and Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Television Abstract interpretation Interpolation Mellon UFO Refinement Unidentified flying object Terminology
12	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 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
13	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
14	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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
15	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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
16	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Software engineering Mellon Pittsburgh
17	Trust in Formal Methods Toolchains 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 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
18	Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Computer science Formal methods Computing Logic in computer science European Joint Conferences on Theory and Practice of Software Computer Aided Verification Software verification Formal verification Edmund M. Clarke Satisfiability modulo theories Verification
19	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
20	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 Pointer Graph