Model Checking for Dependable Software-Intensive Systems.

Edmund M. Clarke, Masahiro Fujita, David P. Gluch

Browse the full DSN paper archive.