Special section on the algorithmics of software model checking

• 257-259

  Special section on the algorithmics of software model checking

  Introductory paper

  Matthew Dwyer and Stefan Leue

  • Download PDF (82.7 KB)

• 260-276

  Special section on the algorithmics of software model checking

  Heuristics for model checking Java programs

  Alex Groce and Willem Visser

  • Download PDF (535.4 KB)

• 277-301

  Special section on the algorithmics of software model checking

  Partial-order reduction and trail improvement in directed model checking

  Stefan Edelkamp, Stefan Leue and Alberto Lluch-Lafuente

  • Download PDF (443.0 KB)

• 302-319

  Special section on the algorithmics of software model checking

  Symmetry reductions for model checking of concurrent dynamic software

  Radu Iosif

  • Download PDF (1.5 MB)

• 320-341

  Regular contribution

  Exploiting transition locality in automatic verification of finite-state concurrent systems

  Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli

  • Download PDF (1.5 MB)

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info