External Links

    Journal: Formal Methods in System Design

    Volume 19, Issue 3

    223 -- 236Detlef Sieling, Ingo Wegener. A Comparison of Free BDDs and Transformed BDDs
    237 -- 273Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri. Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis
    275 -- 289Doron Peled, Antti Valmari, Ilkka Kokkarinen. Relaxed Visibility Enhances Partial Order Reduction
    291 -- 314Orna Kupferman, Moshe Y. Vardi. Model Checking of Safety Properties
    runs on