Bounded Probabilistic Model Checking with the Mur

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

Browse the full FMCAD paper archive.