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

Process Algebra and Model Checking

2018 ◽  
pp. 1149-1195 ◽  
Author(s):  
Rance Cleaveland ◽  
A. W. Roscoe ◽  
Scott A. Smolka
Keyword(s):  
Model Checking ◽  
Process Algebra

BDD-Based Symbolic Model Checking

2018 ◽  
pp. 219-245 ◽  
Author(s):  
Sagar Chaki ◽  
Arie Gurfinkel
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Symbolic Model

Propositional SAT Solving

2018 ◽  
pp. 247-275 ◽  
Author(s):  
Joao Marques-Silva ◽  
Sharad Malik
Keyword(s):  
Sat Solving

Model Checking Parameterized Systems

2018 ◽  
pp. 685-725 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
A. Prasad Sistla ◽  
Muralidhar Talupur
Keyword(s):  
Model Checking ◽  
Parameterized Systems

Graph Games and Reactive Synthesis

2018 ◽  
pp. 921-962 ◽  
Author(s):  
Roderick Bloem ◽  
Krishnendu Chatterjee ◽  
Barbara Jobstmann
Keyword(s):  
Reactive Synthesis ◽  
Graph Games

Introduction to Model Checking

2018 ◽  
pp. 1-26 ◽  
Author(s):  
Edmund M. Clarke ◽  
Thomas A. Henzinger ◽  
Helmut Veith
Keyword(s):  
Model Checking

Interpolation and Model Checking

2018 ◽  
pp. 421-446 ◽  
Author(s):  
Kenneth L. McMillan
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document