<--- Back to Details
First PageDocument Content
Interpolation / Derivative / Analysis / Mathematics / General topology / Separable space
Date: 2011-11-08 13:13:50
Interpolation
Derivative
Analysis
Mathematics
General topology
Separable space

Add to Reading List

Source URL: www.vision.caltech.edu

Download Document from Source Website

File Size: 234,89 KB

Share Document on Facebook

Similar Documents

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

DocID: 1xVXp - View Document

Finite automata / DFA minimization / Deterministic automaton / Finite-state machine / Theoretical computer science / Muller automaton / Bchi automaton

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

DocID: 1xVMq - View Document

Mathematics / Theoretical computer science / Mathematical logic / Lemmas / Model theory / Interpolation / Logic in computer science / Craig interpolation / Satisfiability modulo theories / Farkas' lemma / Quantifier elimination / First-order logic

Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg

DocID: 1xVsB - View Document

Software engineering / Computer programming / Computing / Interpolation / Video / Video signal / Craig interpolation / Pure / Foreach loop

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

DocID: 1xViK - View Document

Declarative programming / Software engineering / Theoretical computer science / Constraint programming / Logic programming / Programming paradigms / Formal methods / Constraint logic programming / Loop invariant / Interpolation / Abstract interpretation / CLP

Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas

DocID: 1xUX2 - View Document