Dagstuhl Seminar Proceedings 06172
Directed Model Checking
S. Edelkamp, S. Leue, W. Visser (Eds.)
published by LZI
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
|
Imprint
|
Privacy