Journal: Formal Methods in System Design

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)