External Links

    Journal: Formal Methods in System Design

    Volume 36, Issue 1

    1 -- 36Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Performability assessment by model checking of Markov reward models
    37 -- 64Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou. Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
    65 -- 95Laura Bozzelli, Aniello Murano, Adriano Peron. Pushdown module checking
    runs on