External Links

    Journal: Formal Methods in System Design

    Volume 21, Issue 1

    5 -- 38Radu Grosu, Thomas Stauner. Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
    39 -- 78Kathi Fisler, Moshe Y. Vardi. Bisimulation Minimization and Symbolic Model Checking
    79 -- 94Richard Raimi, James Lear. Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking
    95 -- 101Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Jacob A. Abraham, Donald S. Fussell, Masahiro Fujita. Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table
    runs on