Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642221095, 9783642221101

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CPAchecker: A Tool for Configurable Software Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_16 ◽

2011 ◽

pp. 184-190 ◽

Cited By ~ 197

Author(s):

Dirk Beyer ◽

M. Erkan Keremoglu

Keyword(s):

Software Verification ◽

Configurable Software

Download Full-text

Smoothing a Program Soundly and Robustly

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_22 ◽

2011 ◽

pp. 277-292 ◽

Cited By ~ 4

Author(s):

Swarat Chaudhuri ◽

Armando Solar-Lezama

Download Full-text

Synthia: Verification and Synthesis for Timed Automata

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_52 ◽

2011 ◽

pp. 649-655 ◽

Cited By ~ 7

Author(s):

Hans-Jörg Peter ◽

Rüdiger Ehlers ◽

Robert Mattmüller

Keyword(s):

Timed Automata

Download Full-text

Logic and Compositional Verification of Hybrid Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_4 ◽

2011 ◽

pp. 28-43 ◽

Cited By ~ 7

Author(s):

André Platzer

Keyword(s):

Hybrid Systems ◽

Compositional Verification ◽

Verification Of Hybrid Systems

Download Full-text

Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_21 ◽

2011 ◽

pp. 260-276

Author(s):

Krishnendu Chatterjee ◽

Monika Henzinger ◽

Manas Joglekar ◽

Nisarg Shah

Keyword(s):

Qualitative Analysis ◽

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision ◽

Symbolic Algorithms

Download Full-text

Getting Rid of Store-Buffers in TSO Analysis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_9 ◽

2011 ◽

pp. 99-115 ◽

Cited By ~ 32

Author(s):

Mohamed Faouzi Atig ◽

Ahmed Bouajjani ◽

Gennaro Parlato

Download Full-text

Model Checking Recursive Programs with Numeric Data Types

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_60 ◽

2011 ◽

pp. 743-759 ◽

Cited By ~ 19

Author(s):

Matthew Hague ◽

Anthony Widjaja Lin

Keyword(s):

Model Checking ◽

Data Types ◽

Recursive Programs ◽

Numeric Data

Download Full-text

Fully Symbolic Model Checking for Timed Automata

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_50 ◽

2011 ◽

pp. 616-632 ◽

Cited By ~ 12

Author(s):

Georges Morbé ◽

Florian Pigorsch ◽

Christoph Scholl

Keyword(s):

Model Checking ◽

Timed Automata ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Kratos – A Software Model Checker for SystemC

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_24 ◽

2011 ◽

pp. 310-316 ◽

Cited By ~ 28

Author(s):

Alessandro Cimatti ◽

Alberto Griggio ◽

Andrea Micheli ◽

Iman Narasamdya ◽

Marco Roveri

Keyword(s):

Model Checker ◽

Software Model

Download Full-text

State/Event-Based LTL Model Checking under Parametric Generalized Fairness

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22110-1_11 ◽

2011 ◽

pp. 132-148 ◽

Cited By ~ 7

Author(s):

Kyungmin Bae ◽

José Meseguer

Keyword(s):

Model Checking ◽

Event Based ◽

Ltl Model Checking

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

CPAchecker: A Tool for Configurable Software Verification

Smoothing a Program Soundly and Robustly

Synthia: Verification and Synthesis for Timed Automata

Logic and Compositional Verification of Hybrid Systems

Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives

Getting Rid of Store-Buffers in TSO Analysis

Model Checking Recursive Programs with Numeric Data Types

Fully Symbolic Model Checking for Timed Automata

Kratos – A Software Model Checker for SystemC

State/Event-Based LTL Model Checking under Parametric Generalized Fairness

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications