Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540281955, 9783540318996

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Counterexample-Based Refinement for a Boundedness Test for CFSM Languages

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_8 ◽

2005 ◽

pp. 58-74 ◽

Author(s):

Stefan Leue ◽

Wei Wei

Download Full-text

An Incremental Heap Canonicalization Algorithm

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_6 ◽

2005 ◽

pp. 28-42 ◽

Author(s):

Madanlal Musuvathi ◽

David L. Dill

Download Full-text

Verifying Pattern-Generated LTL Formulas: A Case Study

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_17 ◽

2005 ◽

pp. 200-220 ◽

Author(s):

Salamah Salamah ◽

Ann Gates ◽

Steve Roach ◽

Oscar Mondragon

Download Full-text

Model Checking Programs with Java PathFinder

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_5 ◽

2005 ◽

pp. 27-27 ◽

Author(s):

Willem Visser ◽

Peter Mehlitz

Keyword(s):

Download Full-text

Model Checking Machine Code with the GNU Debugger

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_20 ◽

2005 ◽

pp. 251-265 ◽

Author(s):

Eric Mercer ◽

Michael Jones

Keyword(s):

Model Checking ◽

Download Full-text

Effective Bug Hunting with Spin and Modex

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_3 ◽

2005 ◽

pp. 24-24 ◽

Author(s):

Gerard J. Holzmann ◽

Theo C. Ruys

Download Full-text

Learning-Based Assume-Guarantee Verification (Tool Paper)

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_24 ◽

2005 ◽

pp. 282-287 ◽

Author(s):

Dimitra Giannakopoulou ◽

Corina S. Păsăreanu

Keyword(s):

Verification Tool

Download Full-text

Stuttering Congruence for χ

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_16 ◽

2005 ◽

pp. 185-199 ◽

Author(s):

Bas Luttik ◽

Nikola Trčka

Download Full-text

Memory Efficient State Space Storage in Explicit Software Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_7 ◽

2005 ◽

pp. 43-57 ◽

Author(s):

Sami Evangelista ◽

Jean-François Pradat-Peyre

Keyword(s):

Model Checking ◽

State Space ◽

Software Model Checking ◽

Software Model ◽

Memory Efficient

Download Full-text

Repairing Structurally Complex Data

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11537328_12 ◽

2005 ◽

pp. 123-138 ◽

Author(s):

Sarfraz Khurshid ◽

Iván García ◽

Yuk Lai Suen

Keyword(s):

Download Full-text