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

Volume 55, Issue 1

1 -- 32Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson 0001. Alloy*: a general-purpose higher-order relational constraint solver
33 -- 71Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina. Exploiting partial variable assignment in interpolation-based model checking
72 -- 0César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss. Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)