Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642026515, 9783642026522

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_13 ◽

2009 ◽

pp. 143-147 ◽

Author(s):

Tim Kovše ◽

Boštjan Vlaovič ◽

Aleksander Vreže ◽

Zmago Brezočnik

Download Full-text

Probabilistic Reachability for Parametric Markov Models

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_10 ◽

2009 ◽

pp. 88-106 ◽

Author(s):

Ernst Moritz Hahn ◽

Holger Hermanns ◽

Lijun Zhang

Keyword(s):

Download Full-text

On Quantitative Software Verification

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_2 ◽

2009 ◽

pp. 2-3 ◽

Author(s):

Marta Kwiatkowska

Keyword(s):

Software Verification

Download Full-text

The Quest for Correctness-Beyond a Posteriori Verification

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_3 ◽

2009 ◽

pp. 4-4

Author(s):

Joseph Sifakis

Keyword(s):

Download Full-text

EMMA: Explicit Model Checking Manager (Tool Presentation)

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_15 ◽

2009 ◽

pp. 169-173

Author(s):

Radek Pelánek ◽

Václav Rosecký

Keyword(s):

Model Checking ◽

Download Full-text

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_16 ◽

2009 ◽

pp. 174-191 ◽

Author(s):

Neha Rungta ◽

Eric G. Mercer ◽

Willem Visser

Keyword(s):

Symbolic Execution ◽

Concurrent Programs

Download Full-text

Who Really Cares If the Program Crashes?

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_4 ◽

2009 ◽

pp. 5-5 ◽

Author(s):

Willem Visser

Download Full-text

Efficient Probabilistic Model Checking on General Purpose Graphics Processors

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_7 ◽

2009 ◽

pp. 32-49 ◽

Author(s):

Dragan Bošnački ◽

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

General Purpose ◽

Probabilistic Model Checking ◽

Graphics Processors

Download Full-text

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_11 ◽

2009 ◽

pp. 107-124 ◽

Author(s):

Alexander Heußner ◽

Tristan Le Gall ◽

Grégoire Sutre

Keyword(s):

Abstraction Refinement

Download Full-text

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_20 ◽

2009 ◽

pp. 241-260 ◽

Author(s):

Hubert Garavel ◽

Damien Thivolle

Keyword(s):

Synchronous Languages ◽

Process Calculi ◽

Download Full-text