Dagstuhl Seminar Proceedings 06172

Directed Model Checking

S. Edelkamp, S. Leue, W. Visser (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06172, 26.04. - 29.04.2006
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Boyapati, Chandrasekhar
  • Darga, Paul
  • Edelkamp, Stefan
  • Leue, Stefan
  • Visser, Willem

  •   
    06172 Abstracts Collection -- Directed Model Checking
    Authors: Edelkamp, Stefan ; Leue, Stefan ; Visser, Willem

    Abstract | Document (164 KB) | BibTeX

    06172 Executive Summary -- Directed Model Checking
    Authors: Edelkamp, Stefan ; Leue, Stefan ; Visser, Willem

    Abstract | Document (115 KB) | BibTeX

    Efficient Software Model Checking of Data Structure Properties
    Authors: Boyapati, Chandrasekhar ; Darga, Paul

    Abstract | Document (364 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI