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