Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

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

Source URL: jorgenavas.github.io

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

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

Source URL: csl.sri.com

• 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

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

Source URL: smt-workshop.cs.uiowa.edu

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

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

Source URL: jorgenavas.github.io

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

Computing minimal interpolation bases

Source URL: perso.ens-lyon.fr

• Algebra
• Mathematics
• Interpolation
• Polynomial interpolation
• Polynomials
• Permutation
• Jordan normal form
• Pad approximant
• Random self-reducibility
• Pattern language

INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute

Source URL: wrm17.mi.ras.ru

Mean Maximum Temperature for the Fortnight ending * This map has been prepared using available station data and interpolation techniques Mean Minimum Temperature for the Fortnight ending

Source URL: www.imdagrimet.gov.in

J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

Source URL: www.georg.weissenbacher.science

Mean Maximum Temperature for the Fortnight ending * This map has been prepared using available station data and interpolation techniques Mean Minimum Temperature for the Fortnight ending

Source URL: www.imdagrimet.gov.in