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 International Publishing

9783319899596, 9783319899602

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verified Model Checking of Timed Automata

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

10.1007/978-3-319-89960-2_4 ◽

2018 ◽

pp. 61-78 ◽

Cited By ~ 13

Author(s):

Simon Wimmer ◽

Peter Lammich

Keyword(s):

Model Checking ◽

Timed Automata

Download Full-text

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

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

10.1007/978-3-319-89960-2_22 ◽

2018 ◽

pp. 408-426 ◽

Cited By ~ 24

Author(s):

Matthew Wicker ◽

Xiaowei Huang ◽

Marta Kwiatkowska

Keyword(s):

Neural Networks ◽

Deep Neural Networks ◽

Black Box ◽

Safety Testing

Download Full-text

Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning

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

10.1007/978-3-319-89960-2_1 ◽

2018 ◽

pp. 3-22 ◽

Cited By ~ 5

Author(s):

Giles Reger ◽

Martin Suda ◽

Andrei Voronkov

Download Full-text

Automating Deductive Verification for Weak-Memory Programs

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

10.1007/978-3-319-89960-2_11 ◽

2018 ◽

pp. 190-209 ◽

Cited By ~ 7

Author(s):

Alexander J. Summers ◽

Peter Müller

Keyword(s):

Deductive Verification

Download Full-text

From Natural Projection to Partial Model Checking and Back

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

10.1007/978-3-319-89960-2_19 ◽

2018 ◽

pp. 344-361 ◽

Cited By ~ 1

Author(s):

Gabriele Costa ◽

David Basin ◽

Chiara Bodei ◽

Pierpaolo Degano ◽

Letterio Galletta

Keyword(s):

Model Checking ◽

Natural Projection ◽

Partial Model

Download Full-text

Generation of Minimum Tree-Like Witnesses for Existential CTL

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

10.1007/978-3-319-89960-2_18 ◽

2018 ◽

pp. 328-343 ◽

Cited By ~ 1

Author(s):

Chuan Jiang ◽

Gianfranco Ciardo

Download Full-text

Strategy Representation by Decision Trees in Reactive Synthesis

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

10.1007/978-3-319-89960-2_21 ◽

2018 ◽

pp. 385-407 ◽

Cited By ~ 7

Author(s):

Tomáš Brázdil ◽

Krishnendu Chatterjee ◽

Jan Křetínský ◽

Viktor Toman

Keyword(s):

Decision Trees ◽

Reactive Synthesis

Download Full-text

Property Checking Array Programs Using Loop Shrinking

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

10.1007/978-3-319-89960-2_12 ◽

2018 ◽

pp. 213-231 ◽

Cited By ~ 4

Author(s):

Shrawan Kumar ◽

Amitabha Sanyal ◽

R. Venkatesh ◽

Punit Shah

Download Full-text

More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( $$D^{3}$$ D 3 )

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

10.1007/978-3-319-89960-2_17 ◽

2018 ◽

pp. 309-327 ◽

Cited By ~ 5

Author(s):

Rohit Dureja ◽

Kristin Yvonne Rozier

Keyword(s):

Model Checking ◽

Design Space ◽

Ltl Model Checking

Download Full-text

Bit-Vector Model Counting Using Statistical Estimation

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

10.1007/978-3-319-89960-2_8 ◽

2018 ◽

pp. 133-151 ◽

Cited By ~ 1

Author(s):

Seonmo Kim ◽

Stephen McCamant

Keyword(s):

Statistical Estimation ◽

Vector Model ◽

Model Counting ◽

Bit Vector

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 International Publishing

Verified Model Checking of Timed Automata

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning

Automating Deductive Verification for Weak-Memory Programs

From Natural Projection to Partial Model Checking and Back

Generation of Minimum Tree-Like Witnesses for Existential CTL

Strategy Representation by Decision Trees in Reactive Synthesis

Property Checking Array Programs Using Loop Shrinking

More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( $$D^{3}$$ D 3 )

Bit-Vector Model Counting Using Statistical Estimation

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