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

9783642287558, 9783642287565

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation

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

10.1007/978-3-642-28756-5_44 ◽

2012 ◽

pp. 542-544 ◽

Cited By ~ 9

Author(s):

Carsten Sinz ◽

Florian Merz ◽

Stephan Falke

Keyword(s):

Intermediate Representation ◽

Model Checker

Download Full-text

Quantitative Models for a Not So Dumb Grid

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

10.1007/978-3-642-28756-5_1 ◽

2012 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Holger Hermanns

Keyword(s):

Quantitative Models

Download Full-text

Minimal Critical Subsystems for Discrete-Time Markov Models

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

10.1007/978-3-642-28756-5_21 ◽

2012 ◽

pp. 299-314 ◽

Cited By ~ 18

Author(s):

Ralf Wimmer ◽

Nils Jansen ◽

Erika Ábrahám ◽

Bernd Becker ◽

Joost-Pieter Katoen

Keyword(s):

Discrete Time ◽

Markov Models ◽

Critical Subsystems

Download Full-text

A Proof Assistant for Alloy Specifications

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

10.1007/978-3-642-28756-5_29 ◽

2012 ◽

pp. 422-436 ◽

Cited By ~ 9

Author(s):

Mattias Ulbrich ◽

Ulrich Geilmann ◽

Aboubakr Achraf El Ghazi ◽

Mana Taghdiri

Keyword(s):

Proof Assistant

Download Full-text

LTL to Büchi Automata Translation: Fast and More Deterministic

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

10.1007/978-3-642-28756-5_8 ◽

2012 ◽

pp. 95-109 ◽

Cited By ~ 54

Author(s):

Tomáš Babiak ◽

Mojmír Křetínský ◽

Vojtěch Řehák ◽

Jan Strejček

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

A Bit Too Precise? Bounded Verification of Quantized Digital Filters

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

10.1007/978-3-642-28756-5_4 ◽

2012 ◽

pp. 33-47 ◽

Cited By ~ 7

Author(s):

Arlen Cox ◽

Sriram Sankaranarayanan ◽

Bor-Yuh Evan Chang

Keyword(s):

Digital Filters

Download Full-text

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification

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

10.1007/978-3-642-28756-5_26 ◽

2012 ◽

pp. 377-391 ◽

Cited By ~ 3

Author(s):

Hu-Hsi Yeh ◽

Cheng-Yin Wu ◽

Chung-Yang Huang

Keyword(s):

Open Source ◽

Design Synthesis ◽

Open Source Framework ◽

Rtl Design

Download Full-text

Competition on Software Verification

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

10.1007/978-3-642-28756-5_38 ◽

2012 ◽

pp. 504-524 ◽

Cited By ~ 44

Author(s):

Dirk Beyer

Keyword(s):

Software Verification

Download Full-text

Bounded Phase Analysis of Message-Passing Programs

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

10.1007/978-3-642-28756-5_31 ◽

2012 ◽

pp. 451-465 ◽

Cited By ~ 18

Author(s):

Ahmed Bouajjani ◽

Michael Emmi

Keyword(s):

Phase Analysis ◽

Message Passing ◽

Message Passing Programs

Download Full-text

The Guardol Language and Verification System

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

10.1007/978-3-642-28756-5_3 ◽

2012 ◽

pp. 18-32 ◽

Cited By ~ 5

Author(s):

David Hardin ◽

Konrad Slind ◽

Michael Whalen ◽

Tuan-Hung Pham

Keyword(s):

Verification System

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

LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation

Quantitative Models for a Not So Dumb Grid

Minimal Critical Subsystems for Discrete-Time Markov Models

A Proof Assistant for Alloy Specifications

LTL to Büchi Automata Translation: Fast and More Deterministic

A Bit Too Precise? Bounded Verification of Quantized Digital Filters

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification

Competition on Software Verification

Bounded Phase Analysis of Message-Passing Programs

The Guardol Language and Verification System

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