External Links

    Journal: Formal Methods in System Design

    Volume 55, Issue 2

    73 -- 102Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters. Refutation-based synthesis in SMT
    103 -- 135Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck. Synthesizing adaptive test strategies from temporal logic specifications
    runs on