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

9783642279393, 9783642279409

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Regression Verification for Multi-threaded Programs

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

10.1007/978-3-642-27940-9_9 ◽

2012 ◽

pp. 119-135 ◽

Cited By ~ 18

Author(s):

Sagar Chaki ◽

Arie Gurfinkel ◽

Ofer Strichman

Download Full-text

Decision Procedures for Region Logic

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

10.1007/978-3-642-27940-9_25 ◽

2012 ◽

pp. 379-395 ◽

Cited By ~ 4

Author(s):

Stan Rosenberg ◽

Anindya Banerjee ◽

David A. Naumann

Keyword(s):

Decision Procedures

Download Full-text

Splitting via Interpolants

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

10.1007/978-3-642-27940-9_13 ◽

2012 ◽

pp. 186-201 ◽

Cited By ~ 8

Author(s):

Evren Ermis ◽

Jochen Hoenicke ◽

Andreas Podelski

Download Full-text

Ideal Abstractions for Well-Structured Transition Systems

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

10.1007/978-3-642-27940-9_29 ◽

2012 ◽

pp. 445-460 ◽

Cited By ~ 11

Author(s):

Damien Zufferey ◽

Thomas Wies ◽

Thomas A. Henzinger

Keyword(s):

Transition Systems

Download Full-text

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation

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

10.1007/978-3-642-27940-9_16 ◽

2012 ◽

pp. 235-250 ◽

Cited By ~ 14

Author(s):

Khalil Ghorbal ◽

Franjo Ivančić ◽

Gogul Balakrishnan ◽

Naoto Maeda ◽

Aarti Gupta

Keyword(s):

Abstract Interpretation ◽

Convex Domains

Download Full-text

Synthesizing Protocols for Digital Contract Signing

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

10.1007/978-3-642-27940-9_11 ◽

2012 ◽

pp. 152-168 ◽

Cited By ~ 4

Author(s):

Krishnendu Chatterjee ◽

Vishwanath Raman

Keyword(s):

Contract Signing

Download Full-text

Crowfoot: A Verifier for Higher-Order Store Programs

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

10.1007/978-3-642-27940-9_10 ◽

2012 ◽

pp. 136-151 ◽

Cited By ~ 3

Author(s):

Nathaniel Charlton ◽

Ben Horsfall ◽

Bernhard Reus

Keyword(s):

Higher Order

Download Full-text

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification

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

10.1007/978-3-642-27940-9_4 ◽

2012 ◽

pp. 39-55 ◽

Cited By ~ 39

Author(s):

Aws Albarghouthi ◽

Arie Gurfinkel ◽

Marsha Chechik

Download Full-text

Alternating Control Flow Reconstruction

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

10.1007/978-3-642-27940-9_18 ◽

2012 ◽

pp. 267-282 ◽

Cited By ~ 12

Author(s):

Johannes Kinder ◽

Dmitry Kravchenko

Keyword(s):

Control Flow ◽

Flow Reconstruction

Download Full-text

Synchronizability for Verification of Asynchronously Communicating Systems

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

10.1007/978-3-642-27940-9_5 ◽

2012 ◽

pp. 56-71 ◽

Cited By ~ 17

Author(s):

Samik Basu ◽

Tevfik Bultan ◽

Meriem Ouederni

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Regression Verification for Multi-threaded Programs

Decision Procedures for Region Logic

Splitting via Interpolants

Ideal Abstractions for Well-Structured Transition Systems

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation

Synthesizing Protocols for Digital Contract Signing

Crowfoot: A Verifier for Higher-Order Store Programs

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification

Alternating Control Flow Reconstruction

Synchronizability for Verification of Asynchronously Communicating Systems

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