One I found on the website: https://www.key-project.org/2018/02/13/keys-sed-successfully-applied-in-an-industrial-setting/ https://www.key-project.org/2018/02/

One I found on the website: https://www.key-project.org/2018/02/13/keys-sed-successfully-applied-in-an-industrial-setting/ https://www.key-project.org/2018/02/13/keys-sed-successfully... In an interesting coincidence, Hillel Wayne just did a write-up on applying Alloy to a similar scenario: https://www.hillelwayne.com/post/formally-modeling-migrations/ https://www.hillelwayne.com/post/formally-modeling-migration...