Volume 55, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 55, Issue 1

December 2019

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Alloy*: a general-purpose higher-order relational constraint solver
Aleksandar Milicevic
Joseph P. Near
Daniel Jackson
OriginalPaper 27 January 2017 Pages: 1 - 32
Exploiting partial variable assignment in interpolation-based model checking
Pavel Jančík
Jan 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ánchez
Gerardo Schneider
Alexander Weiss
Correction 15 November 2019 Pages: 72 - 72