1. Alloy*: a general-purpose higher-order relational constraint solver

   • Aleksandar Milicevic
   • Joseph P. Near
   • Daniel Jackson

   OriginalPaper 27 January 2017 Pages: 1 - 32

   

2. Exploiting partial variable assignment in interpolation-based model checking

   • Pavel Jančík
   • Jan Kofroň
   • Natasha Sharygina

   OriginalPaper 07 November 2019 Pages: 33 - 71

   

3. Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

   • César Sánchez
   • Gerardo Schneider
   • Alexander Weiss

   Correction 15 November 2019 Pages: 72 - 72