Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540787990, 9783540788003

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatically Refining Abstract Interpretations

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_33 ◽

2008 ◽

pp. 443-458 ◽

Cited By ~ 55

Author(s):

Bhargav S. Gulavani ◽

Supratik Chakraborty ◽

Aditya V. Nori ◽

Sriram K. Rajamani

Download Full-text

Quantified Invariant Generation Using an Interpolating Saturation Prover

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_31 ◽

2008 ◽

pp. 413-427 ◽

Cited By ~ 72

Author(s):

K. L. McMillan

Keyword(s):

Invariant Generation

Download Full-text

On Local Reasoning in Verification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_19 ◽

2008 ◽

pp. 265-281 ◽

Cited By ~ 37

Author(s):

Carsten Ihlemann ◽

Swen Jacobs ◽

Viorica Sofronie-Stokkermans

Keyword(s):

Local Reasoning

Download Full-text

Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_4 ◽

2008 ◽

pp. 33-47 ◽

Cited By ~ 30

Author(s):

Edmund Clarke ◽

Murali Talupur ◽

Helmut Veith

Keyword(s):

Model Checking ◽

Concurrent Systems

Download Full-text

Demand-Driven Compositional Symbolic Execution

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_28 ◽

2008 ◽

pp. 367-381 ◽

Cited By ~ 80

Author(s):

Saswat Anand ◽

Patrice Godefroid ◽

Nikolai Tillmann

Keyword(s):

Symbolic Execution

Download Full-text

On-the-Fly Techniques for Game-Based Software Model Checking

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_7 ◽

2008 ◽

pp. 78-92 ◽

Cited By ~ 8

Author(s):

Adam Bakewell ◽

Dan R. Ghica

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Download Full-text

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_2 ◽

2008 ◽

pp. 2-17 ◽

Cited By ~ 27

Author(s):

Azadeh Farzan ◽

Yu-Fang Chen ◽

Edmund M. Clarke ◽

Yih-Kuen Tsay ◽

Bow-Yaw Wang

Keyword(s):

Regular Languages ◽

Compositional Verification ◽

Full Class

Download Full-text

RESY: Requirement Synthesis for Compositional Model Checking

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_35 ◽

2008 ◽

pp. 463-466 ◽

Cited By ~ 2

Author(s):

Bernd Finkbeiner ◽

Hans-Jörg Peter ◽

Sven Schewe

Keyword(s):

Model Checking ◽

Compositional Model

Download Full-text

SDSIrep: A Reputation System Based on SDSI

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_39 ◽

2008 ◽

pp. 501-516 ◽

Cited By ~ 4

Author(s):

Ahmed Bouajjani ◽

Javier Esparza ◽

Stefan Schwoon ◽

Dejvuth Suwimonteerabuth

Keyword(s):

Reputation System

Download Full-text

On Automated Verification of Probabilistic Programs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_13 ◽

2008 ◽

pp. 173-187 ◽

Cited By ~ 19

Author(s):

Axel Legay ◽

Andrzej S. Murawski ◽

Joël Ouaknine ◽

James Worrell

Keyword(s):

Automated Verification ◽

Probabilistic Programs

Download Full-text

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatically Refining Abstract Interpretations

Quantified Invariant Generation Using an Interpolating Saturation Prover

On Local Reasoning in Verification

Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems

Demand-Driven Compositional Symbolic Execution

On-the-Fly Techniques for Game-Based Software Model Checking

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages

RESY: Requirement Synthesis for Compositional Model Checking

SDSIrep: A Reputation System Based on SDSI

On Automated Verification of Probabilistic Programs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications