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

9783642367410, 9783642367427

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The MathSAT5 SMT Solver

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

10.1007/978-3-642-36742-7_7 ◽

2013 ◽

pp. 93-107 ◽

Cited By ~ 181

Author(s):

Alessandro Cimatti ◽

Alberto Griggio ◽

Bastiaan Joost Schaafsma ◽

Roberto Sebastiani

Keyword(s):

Smt Solver

Download Full-text

UFO: Verification with Interpolants and Abstract Interpretation

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

10.1007/978-3-642-36742-7_52 ◽

2013 ◽

pp. 637-640 ◽

Cited By ~ 22

Author(s):

Aws Albarghouthi ◽

Arie Gurfinkel ◽

Yi Li ◽

Sagar Chaki ◽

Marsha Chechik

Keyword(s):

Abstract Interpretation

Download Full-text

Threader: A Verifier for Multi-threaded Programs

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

10.1007/978-3-642-36742-7_51 ◽

2013 ◽

pp. 633-636 ◽

Cited By ~ 7

Author(s):

Corneliu Popeea ◽

Andrey Rybalchenko

Download Full-text

Predator: A Tool for Verification of Low-Level List Manipulation

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

10.1007/978-3-642-36742-7_49 ◽

2013 ◽

pp. 627-629 ◽

Cited By ~ 5

Author(s):

Kamil Dudka ◽

Petr Müller ◽

Petr Peringer ◽

Tomáš Vojnar

Keyword(s):

Low Level

Download Full-text

Polyglot: Systematic Analysis for Multiple Statechart Formalisms

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

10.1007/978-3-642-36742-7_36 ◽

2013 ◽

pp. 523-529 ◽

Cited By ~ 7

Author(s):

Daniel Balasubramanian ◽

Corina S. Păsăreanu ◽

Gábor Karsai ◽

Michael R. Lowry

Keyword(s):

Systematic Analysis

Download Full-text

Analysis of Boolean Programs

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

10.1007/978-3-642-36742-7_16 ◽

2013 ◽

pp. 214-229 ◽

Cited By ~ 4

Author(s):

Patrice Godefroid ◽

Mihalis Yannakakis

Download Full-text

Model Checking Agent Knowledge in Dynamic Access Control Policies

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

10.1007/978-3-642-36742-7_31 ◽

2013 ◽

pp. 448-462 ◽

Cited By ~ 3

Author(s):

Masoud Koleini ◽

Eike Ritter ◽

Mark Ryan

Keyword(s):

Model Checking ◽

Access Control ◽

Control Policies ◽

Access Control Policies ◽

Agent Knowledge ◽

Dynamic Access Control

Download Full-text

Model Checking Database Applications

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

10.1007/978-3-642-36742-7_40 ◽

2013 ◽

pp. 549-564 ◽

Cited By ~ 3

Author(s):

Milos Gligoric ◽

Rupak Majumdar

Keyword(s):

Model Checking ◽

Database Applications

Download Full-text

Structural Counter Abstraction

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

10.1007/978-3-642-36742-7_5 ◽

2013 ◽

pp. 62-77 ◽

Cited By ~ 6

Author(s):

Kshitij Bansal ◽

Eric Koskinen ◽

Thomas Wies ◽

Damien Zufferey

Download Full-text

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

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

10.1007/978-3-642-36742-7_14 ◽

2013 ◽

pp. 192-198 ◽

Cited By ~ 1

Author(s):

Radu Mateescu ◽

Gwen Salaün

Keyword(s):

Model Checking ◽

Model Transformation ◽

Pi Calculus

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

The MathSAT5 SMT Solver

UFO: Verification with Interpolants and Abstract Interpretation

Threader: A Verifier for Multi-threaded Programs

Predator: A Tool for Verification of Low-Level List Manipulation

Polyglot: Systematic Analysis for Multiple Statechart Formalisms

Analysis of Boolean Programs

Model Checking Agent Knowledge in Dynamic Access Control Policies

Model Checking Database Applications

Structural Counter Abstraction

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

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