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

9783642182747, 9783642182754

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quality Engineering: Leveraging Heterogeneous Information

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

10.1007/978-3-642-18275-4_4 ◽

2011 ◽

pp. 23-37 ◽

Cited By ~ 8

Author(s):

Bernhard Steffen ◽

Oliver Rüthing

Keyword(s):

Quality Engineering ◽

Heterogeneous Information

Download Full-text

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation

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

10.1007/978-3-642-18275-4_3 ◽

2011 ◽

pp. 19-22 ◽

Cited By ~ 3

Author(s):

Francesco Logozzo

Keyword(s):

Abstract Interpretation

Download Full-text

String Analysis as an Abstract Interpretation

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

10.1007/978-3-642-18275-4_21 ◽

2011 ◽

pp. 294-308 ◽

Cited By ~ 4

Author(s):

Se-Won Kim ◽

Kwang-Moo Choe

Keyword(s):

Abstract Interpretation ◽

String Analysis

Download Full-text

Strengthening Induction-Based Race Checking with Lightweight Static Analysis

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

10.1007/978-3-642-18275-4_13 ◽

2011 ◽

pp. 169-183 ◽

Cited By ~ 5

Author(s):

Alastair F. Donaldson ◽

Leopold Haller ◽

Daniel Kroening

Keyword(s):

Static Analysis

Download Full-text

Refinement-Based CFG Reconstruction from Unstructured Programs

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

10.1007/978-3-642-18275-4_6 ◽

2011 ◽

pp. 54-69 ◽

Cited By ~ 29

Author(s):

Sébastien Bardin ◽

Philippe Herrmann ◽

Franck Védrine

Download Full-text

Abstract Probabilistic Automata

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

10.1007/978-3-642-18275-4_23 ◽

2011 ◽

pp. 324-339 ◽

Cited By ~ 22

Author(s):

Benoît Delahaye ◽

Joost-Pieter Katoen ◽

Kim G. Larsen ◽

Axel Legay ◽

Mikkel L. Pedersen ◽

...

Keyword(s):

Probabilistic Automata

Download Full-text

Are Cells Asynchronous Circuits?

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

10.1007/978-3-642-18275-4_1 ◽

2011 ◽

pp. 1-1

Author(s):

David L. Dill

Keyword(s):

Asynchronous Circuits

Download Full-text

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds

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

10.1007/978-3-642-18275-4_9 ◽

2011 ◽

pp. 103-117 ◽

Cited By ~ 7

Author(s):

Rohit Chadha ◽

A. Prasad Sistla ◽

Mahesh Viswanathan

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

Distributed and Predictable Software Model Checking

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

10.1007/978-3-642-18275-4_24 ◽

2011 ◽

pp. 340-355 ◽

Cited By ~ 9

Author(s):

Nuno P. Lopes ◽

Andrey Rybalchenko

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Download Full-text

Sets with Cardinality Constraints in Satisfiability Modulo Theories

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

10.1007/978-3-642-18275-4_28 ◽

2011 ◽

pp. 403-418 ◽

Cited By ~ 12

Author(s):

Philippe Suter ◽

Robin Steiger ◽

Viktor Kuncak

Keyword(s):

Satisfiability Modulo Theories ◽

Cardinality Constraints

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Quality Engineering: Leveraging Heterogeneous Information

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation

String Analysis as an Abstract Interpretation

Strengthening Induction-Based Race Checking with Lightweight Static Analysis

Refinement-Based CFG Reconstruction from Unstructured Programs

Abstract Probabilistic Automata

Are Cells Asynchronous Circuits?

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds

Distributed and Predictable Software Model Checking

Sets with Cardinality Constraints in Satisfiability Modulo Theories

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