Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540733690
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scalable Multi-core LTL Model-Checking

2007 ◽  
pp. 187-203 ◽  
Author(s):  
Jiří Barnat ◽  
Luboš Brim ◽  
Petr Ročkai
Keyword(s):  
Model Checking ◽  
Ltl Model Checking

scholarly journals Cartesian Partial-Order Reduction

2007 ◽  
pp. 95-112 ◽  
Author(s):  
Guy Gueta ◽  
Cormac Flanagan ◽  
Eran Yahav ◽  
Mooly Sagiv
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction

scholarly journals SAT-Based Summarization for Boolean Programs

2007 ◽  
pp. 131-148 ◽  
Author(s):  
Gérard Basler ◽  
Daniel Kroening ◽  
Georg Weissenbacher
Load More ...
Sign in / Sign up

Export Citation Format

Share Document