Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662460801, 9783662460818

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Induction for SMT Solvers

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_5 ◽

2015 ◽

pp. 80-98 ◽

Cited By ~ 22

Author(s):

Andrew Reynolds ◽

Viktor Kuncak

Keyword(s):

Smt Solvers

Download Full-text

Bounded Implementations of Replicated Data Types

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_20 ◽

2015 ◽

pp. 355-372 ◽

Cited By ~ 1

Author(s):

Madhavan Mukund ◽

Gautham Shenoy R. ◽

S. P. Suresh

Keyword(s):

Data Types ◽

Replicated Data

Download Full-text

From Verification to Optimizations

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_17 ◽

2015 ◽

pp. 300-317 ◽

Cited By ~ 4

Author(s):

Rigel Gjomemo ◽

Kedar S. Namjoshi ◽

Phu H. Phung ◽

V. N. Venkatakrishnan ◽

Lenore D. Zuck

Download Full-text

Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_4 ◽

2015 ◽

pp. 61-79 ◽

Cited By ~ 12

Author(s):

Agostino Cortesi ◽

Pietro Ferrara ◽

Marco Pistoia ◽

Omer Tripp

Keyword(s):

Mobile Applications ◽

Policy Compliance

Download Full-text

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_6 ◽

2015 ◽

pp. 99-116 ◽

Cited By ~ 9

Author(s):

Assalé Adjé ◽

Pierre-Loïc Garoche

Keyword(s):

Piecewise Linear ◽

Linear Quadratic ◽

Automatic Synthesis ◽

Quadratic Invariants

Download Full-text

Tree Automata-Based Refinement with Application to Horn Clause Verification

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_12 ◽

2015 ◽

pp. 209-226 ◽

Cited By ~ 7

Author(s):

Bishoksan Kafle ◽

John P. Gallagher

Keyword(s):

Horn Clause ◽

Tree Automata

Download Full-text

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_24 ◽

2015 ◽

pp. 431-448 ◽

Cited By ~ 5

Author(s):

Khalil Ghorbal ◽

Andrew Sogokon ◽

André Platzer

Keyword(s):

Algebraic Sets ◽

Proof Rules ◽

Differential Invariance

Download Full-text

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_21 ◽

2015 ◽

pp. 373-392 ◽

Cited By ~ 5

Author(s):

Maria Christakis ◽

Patrice Godefroid

Keyword(s):

Memory Safety

Download Full-text

Path Sensitive Cache Analysis Using Cache Miss Paths

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_3 ◽

2015 ◽

pp. 43-60 ◽

Cited By ~ 3

Author(s):

Kartik Nagar ◽

Y. N. Srikant

Keyword(s):

Cache Analysis ◽

Cache Miss

Download Full-text

Dependent Array Type Inference from Tests

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-662-46081-8_23 ◽

2015 ◽

pp. 412-430 ◽

Cited By ~ 4

Author(s):

He Zhu ◽

Aditya V. Nori ◽

Suresh Jagannathan

Keyword(s):

Type Inference ◽

Array Type

Download Full-text

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract InterpretationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Induction for SMT Solvers

Bounded Implementations of Replicated Data Types

From Verification to Optimizations

Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Tree Automata-Based Refinement with Application to Horn Clause Verification

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing

Path Sensitive Cache Analysis Using Cache Miss Paths

Dependent Array Type Inference from Tests

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications