<--- Back to Details
First PageDocument Content
Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement
Date: 2018-10-19 18:15:18
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

Add to Reading List

Source URL: arieg.bitbucket.io

Download Document from Source Website

File Size: 3,03 MB

Share Document on Facebook

Similar Documents

Algebra / Mathematics / Convex geometry / Linear algebra / Convex analysis / Convex cone / Abstract interpretation / Octahedron / Polyhedron / Linear programming / Linear inequality / Convex set

Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

DocID: 1xW2M - View Document

Mathematical analysis / Numerical analysis / Mathematics / Numerical linear algebra / Root-finding algorithms / Iterative refinement / Residual / Newton's method / Pi / Approximations of / Gradient descent / Mathematical optimization

What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement:

DocID: 1xVjn - View Document

Formal methods / Computing / Software engineering / Theoretical computer science / Specification language / Refinement / Abstract state machines / Domain-specific language / Specification / Programming language / Integrated circuit design / Formal specification

Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1

DocID: 1xViA - View Document

Metaphysics / Formal methods / Theoretical computer science / Modal logic / Philosophical logic / Predicate abstraction / Markov decision process / Logic / Refinement / Abstraction / Krivine machine

Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog

DocID: 1xV7t - View Document

Computing / Data types / Software engineering / Type theory / Mathematics / Rendering / Const / Record / Integer / Tagged union / Tuple / Type system

A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave

DocID: 1xUT9 - View Document