Handbook of Model Checking
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer International Publishing

9783319105741, 9783319105758

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transfer of Model Checking to Industrial Practice

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_23 ◽

2018 ◽

pp. 763-793 ◽

Cited By ~ 2

Author(s):

Robert P. Kurshan

Keyword(s):

Model Checking ◽

Industrial Practice

Process Algebra and Model Checking

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_32 ◽

2018 ◽

pp. 1149-1195 ◽

Cited By ~ 1

Author(s):

Rance Cleaveland ◽

A. W. Roscoe ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Process Algebra

BDD-Based Symbolic Model Checking

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_8 ◽

2018 ◽

pp. 219-245 ◽

Cited By ~ 3

Author(s):

Sagar Chaki ◽

Arie Gurfinkel

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Propositional SAT Solving

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_9 ◽

2018 ◽

pp. 247-275 ◽

Cited By ~ 5

Author(s):

Joao Marques-Silva ◽

Sharad Malik

Keyword(s):

Sat Solving

Partial-Order Reduction

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_6 ◽

2018 ◽

pp. 173-190 ◽

Cited By ~ 1

Author(s):

Doron Peled

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Model Checking Parameterized Systems

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_21 ◽

2018 ◽

pp. 685-725 ◽

Cited By ~ 2

Author(s):

Parosh Aziz Abdulla ◽

A. Prasad Sistla ◽

Muralidhar Talupur

Keyword(s):

Model Checking ◽

Parameterized Systems

Graph Games and Reactive Synthesis

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_27 ◽

2018 ◽

pp. 921-962 ◽

Cited By ~ 9

Author(s):

Roderick Bloem ◽

Krishnendu Chatterjee ◽

Barbara Jobstmann

Keyword(s):

Reactive Synthesis ◽

Graph Games

Introduction to Model Checking

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_1 ◽

2018 ◽

pp. 1-26 ◽

Cited By ~ 5

Author(s):

Edmund M. Clarke ◽

Thomas A. Henzinger ◽

Helmut Veith

Keyword(s):

Model Checking

Interpolation and Model Checking

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_14 ◽

2018 ◽

pp. 421-446 ◽

Cited By ~ 5

Author(s):

Kenneth L. McMillan

Keyword(s):

Model Checking

Automata Theory and Model Checking

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_4 ◽

2018 ◽

pp. 107-151 ◽

Cited By ~ 7

Author(s):

Orna Kupferman

Keyword(s):

Model Checking ◽

Automata Theory ◽

Theory And Model