Alloy verifier

[Google Scholar] [Wikipedia]

Notes: requirements specification
Papers:

DynAlloy: Upgrading Alloy with Actions [frias:icse:2005]
Alloy: A lightweight object modelling notation [jackson:tosem:2002]
The human in formal methods [krishnamurthi:fm:2019]

The opinions expressed are my own views and not my employer’s.