External Links

    Journal: Formal Methods in System Design

    Volume 50, Issue 1

    1 -- 38Tommaso Dreossi, Thao Dang, Carla Piazza. Reachability computation for polynomial dynamical systems
    39 -- 74Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, P. Pasini. SAT solver management strategies in IC3: an experimental approach
    75 -- 95Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster. An empirical study of adaptive concretization for parallel program synthesis
    runs on