External Links

    Journal: Formal Methods in System Design

    Volume 46, Issue 2

    105 -- 134Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001. Hybrid automata-based CEGAR for rectangular hybrid systems
    135 -- 162Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto. Optimization techniques for craig interpolant compaction in unbounded model checking
    163 -- 196Pierre Roux, Pierre-Loïc Garoche. Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case
    runs on