Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540851134, 9783540851141
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Symbolic Context-Bounded Analysis of Multithreaded Java Programs

2008 ◽  
pp. 270-287 ◽  
Author(s):  
Dejvuth Suwimonteerabuth ◽  
Javier Esparza ◽  
Stefan Schwoon
Keyword(s):  
Java Programs

scholarly journals Symbolic String Verification: An Automata-Based Approach

2008 ◽  
pp. 306-324 ◽  
Author(s):  
Fang Yu ◽  
Tevfik Bultan ◽  
Marco Cova ◽  
Oscar H. Ibarra

Residual Checking of Safety Properties

2008 ◽  
pp. 1-2 ◽  
Author(s):  
Matthew B. Dwyer ◽  
Rahul Purandare
Keyword(s):  
Safety Properties

scholarly journals Tackling Large Verification Problems with the Swarm Tool

2008 ◽  
pp. 134-143 ◽  
Author(s):  
Gerard J. Holzmann ◽  
Rajeev Joshi ◽  
Alex Groce

scholarly journals Generating Compact MTBDD-Representations from Probmela Specifications

2008 ◽  
pp. 60-76 ◽  
Author(s):  
Frank Ciesinski ◽  
Christel Baier ◽  
Marcus Größer ◽  
David Parker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document