Lecture Notes in Computer Science - Tools for Practical Software Verification
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642357459, 9783642357466
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Model Checking and the State Explosion Problem

2012 ◽  
pp. 1-30 ◽  
Author(s):  
Edmund M. Clarke ◽  
William Klieber ◽  
Miloš Nováček ◽  
Paolo Zuliani
Keyword(s):  
Model Checking ◽  
The State ◽  
State Explosion ◽  
State Explosion Problem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document