Directed Model Checking

Keyphrases

Publications

volume 6172, 2007

Directed Model Checking, 26.04. - 29.04.2006 Directed Model Checking 6172 (2007)

2006

Stefan Edelkamp, Stefan Leue, Willem Visser
06172 Executive Summary -- Directed Model Checking. Directed Model Checking (2006)
Stefan Edelkamp, Stefan Leue, Willem Visser
06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking (2006)
Chandrasekhar Boyapati, Paul T. Darga
Efficient Software Model Checking of Data Structure Properties. Directed Model Checking (2006)