Alloy*: a general-purpose higher-order relational constraint solver Aleksandar MilicevicJoseph P. NearDaniel Jackson OriginalPaper 27 January 2017 Pages: 1 - 32
Exploiting partial variable assignment in interpolation-based model checking Pavel JančíkJan KofroňNatasha Sharygina OriginalPaper 07 November 2019 Pages: 33 - 71
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) César SánchezGerardo SchneiderAlexander Weiss Correction 15 November 2019 Pages: 72 - 72